Searched refs:isIdempotentArg (Results 1 – 3 of 3) sorted by relevance
320 bool isIdempotentArg(Node n, Kind ik, int arg);
849 bool TermUtil::isIdempotentArg(Node n, Kind ik, int arg) in isIdempotentArg() function in CVC4::theory::quantifiers::TermUtil
482 if (d_tutil->isIdempotentArg(c, pk, arg)) in considerConst()