Searched refs:preregisterConjecture (Results 1 – 7 of 7) sorted by relevance
140 void preregisterConjecture(Node q);
87 void preregisterConjecture(Node q);
279 void preregisterConjecture( Node q );
424 d_conj->preregisterConjecture(n); in preregisterAssertion()
701 void SynthConjecture::preregisterConjecture(Node q) in preregisterConjecture() function in CVC4::theory::quantifiers::SynthConjecture703 d_ceg_si->preregisterConjecture(q); in preregisterConjecture()
627 d_sol->preregisterConjecture( d_orig_conjecture ); in reconstructToSyntax()700 void CegSingleInv::preregisterConjecture(Node q) { d_orig_conjecture = q; } in preregisterConjecture() function in CVC4::CegSingleInv
647 void CegSingleInvSol::preregisterConjecture(Node q) in preregisterConjecture() function in CVC4::theory::quantifiers::CegSingleInvSol