Home
last modified time | relevance | path

Searched refs:processInitialize (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dfirst_order_model.h171 virtual void processInitialize(bool ispre) {} in processInitialize() function
208 void processInitialize(bool ispre) override;
H A Dfirst_order_model.cpp153 processInitialize( true ); in initialize()
168 processInitialize( false ); in initialize()
428 void FirstOrderModelFmc::processInitialize( bool ispre ) { in processInitialize() function in CVC4::theory::quantifiers::FirstOrderModelFmc
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dcegis.h81 virtual bool processInitialize(Node n,
H A Dcegis_unif.h236 bool processInitialize(Node n,
H A Dcegis.cpp63 return processInitialize(n, candidates, lemmas); in initialize()
66 bool Cegis::processInitialize(Node n, in processInitialize() function in CVC4::theory::quantifiers::Cegis
H A Dcegis_unif.cpp37 bool CegisUnif::processInitialize(Node n, in processInitialize() function in CVC4::theory::quantifiers::CegisUnif