Home
last modified time | relevance | path

Searched refs:preregisterConjecture (Results 1 – 7 of 7) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsynth_conjecture.h140 void preregisterConjecture(Node q);
H A Dce_guided_single_inv_sol.h87 void preregisterConjecture(Node q);
H A Dce_guided_single_inv.h279 void preregisterConjecture( Node q );
H A Dsynth_engine.cpp424 d_conj->preregisterConjecture(n); in preregisterAssertion()
H A Dsynth_conjecture.cpp701 void SynthConjecture::preregisterConjecture(Node q) in preregisterConjecture() function in CVC4::theory::quantifiers::SynthConjecture
703 d_ceg_si->preregisterConjecture(q); in preregisterConjecture()
H A Dce_guided_single_inv.cpp627 d_sol->preregisterConjecture( d_orig_conjecture ); in reconstructToSyntax()
700 void CegSingleInv::preregisterConjecture(Node q) { d_orig_conjecture = q; } in preregisterConjecture() function in CVC4::CegSingleInv
H A Dce_guided_single_inv_sol.cpp647 void CegSingleInvSol::preregisterConjecture(Node q) in preregisterConjecture() function in CVC4::theory::quantifiers::CegSingleInvSol