Home
last modified time | relevance | path

Searched refs:undefSatVariable (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dsat_solver_types.h61 const SatVariable undefSatVariable = SatVariable(-1); variable
79 : d_value(undefSatVariable) in SatLiteral()
148 return getSatVariable() == undefSatVariable; in isNull()
155 const SatLiteral undefSatLiteral = SatLiteral(undefSatVariable);
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/
H A Dminisat.cpp46 return undefSatVariable; in toSatVariable()
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/
H A Dbvminisat.cpp192 return undefSatVariable; in toSatVariable()