Searched refs:processConjunct (Results 1 – 4 of 4) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | single_inv_partition.h | 283 bool processConjunct(Node n,
|
| H A D | single_inv_partition.cpp | 234 if (processConjunct(cr, visited, args, terms, subs)) in init()
409 bool SingleInvocationPartition::processConjunct(Node n, in processConjunct() function in CVC4::theory::quantifiers::SingleInvocationPartition
426 if (!processConjunct(n[i], visited, args, terms, subs)) in processConjunct()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | sygus_process_conj.h | 326 void processConjunct(Node n,
|
| H A D | sygus_process_conj.cpp | 572 processConjunct(conj, f, synth_fv); in postSimplify()
620 void SynthConjectureProcess::processConjunct( in processConjunct() function in CVC4::theory::quantifiers::SynthConjectureProcess
|