Searched refs:rrChecker (Results 1 – 1 of 1) sorted by relevance
141 std::unique_ptr<SmtEngine> rrChecker; in addTerm() local143 initializeChecker(rrChecker, em, varMap, crr, needExport); in addTerm()144 Result r = rrChecker->checkSat(); in addTerm()179 val = Node::fromExpr(rrChecker->getValue(erefv).exportTo( in addTerm()184 val = Node::fromExpr(rrChecker->getValue(refv.toExpr())); in addTerm()