Home
last modified time | relevance | path

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

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Ddpllt_minisat.h92 virtual std::vector<SAT::Lit> getCurAssignments() ;
H A Ddpllt.h143 virtual std::vector<SAT::Lit> getCurAssignments() =0 ;
H A Ddpllt_basic.h80 virtual std::vector<SAT::Lit> getCurAssignments() ;
/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Ddpllt_minisat.cpp215 std::vector<SAT::Lit> DPLLTMiniSat::getCurAssignments(){ in getCurAssignments() function in DPLLTMiniSat
H A Ddpllt_basic.cpp368 std::vector<SAT::Lit> DPLLTBasic::getCurAssignments(){ in getCurAssignments() function in DPLLTBasic
/dports/math/cvc3/cvc3-2.4.1/src/search/
H A Dsearch_sat.cpp742 std::vector<SAT::Lit> cur_assigns = d_dpllt->getCurAssignments(); in check()