Searched refs:preSimplify (Results 1 – 3 of 3) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ | ||
H A D | sygus_process_conj.h | 288 Node preSimplify(Node q); |
H A D | sygus_process_conj.cpp | 526 Node SynthConjectureProcess::preSimplify(Node q) in preSimplify() function in CVC4::theory::quantifiers::SynthConjectureProcess |
H A D | synth_conjecture.cpp | 88 d_simp_quant = d_ceg_proc->preSimplify(d_quant); in assign() |