Searched refs:InterpretedEvaluation (Results 1 – 5 of 5) sorted by relevance
39 class InterpretedEvaluation class43 CLASS_NAME(InterpretedEvaluation);44 USE_ALLOCATOR(InterpretedEvaluation);46 InterpretedEvaluation(bool doNormalize, Ordering& ordering);47 virtual ~InterpretedEvaluation();
53 InterpretedEvaluation::InterpretedEvaluation(bool doNormalize, Ordering& ordering) : in InterpretedEvaluation() function in Inferences::InterpretedEvaluation60 InterpretedEvaluation::~InterpretedEvaluation() in ~InterpretedEvaluation()69 bool InterpretedEvaluation::simplifyLiteral(Literal* lit, in simplifyLiteral()88 Clause* InterpretedEvaluation::simplify(Clause* cl) in simplify()
80 static InterpretedEvaluation ev = InterpretedEvaluation(false, ord); in exhaustiveGve()
297 Inferences/InterpretedEvaluation.o\
1631 res->addFront(new InterpretedEvaluation(env.options->inequalityNormalization(), ordering)); in createISE()