Searched refs:undefSatVariable (Results 1 – 3 of 3) sorted by relevance
61 const SatVariable undefSatVariable = SatVariable(-1); variable79 : d_value(undefSatVariable) in SatLiteral()148 return getSatVariable() == undefSatVariable; in isNull()155 const SatLiteral undefSatLiteral = SatLiteral(undefSatVariable);
46 return undefSatVariable; in toSatVariable()
192 return undefSatVariable; in toSatVariable()