Public Member Functions | |
NegationByFailureInfo (int var, LogicAxiomLiteral *lit) | |
Public Attributes | |
LogicAxiomLiteral * | literal |
int | var_no |
AxiomEvaluator::NegationByFailureInfo::NegationByFailureInfo | ( | int | var, |
LogicAxiomLiteral * | lit | ||
) | [inline] |