Searched refs:isSingularArg (Results 1 – 5 of 5) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | subs_minimize.h | 94 static bool isSingularArg(Node n, Kind k, unsigned arg);
|
| H A D | subs_minimize.cpp | 343 if (isSingularArg(it->second, ck, i)) in findInternal()
392 bool SubstitutionMinimize::isSingularArg(Node n, Kind k, unsigned arg) in isSingularArg() function in CVC4::theory::SubstitutionMinimize
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | term_util.h | 327 Node isSingularArg(Node n, Kind ik, unsigned arg);
|
| H A D | term_util.cpp | 900 Node TermUtil::isSingularArg(Node n, Kind ik, unsigned arg) in isSingularArg() function in CVC4::theory::quantifiers::TermUtil
|
| /dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
| H A D | sygus_simple_sym.cpp | 499 Node sc = d_tutil->isSingularArg(c, pk, arg); in considerConst()
|