Searched refs:EvalAssumeCheckers (Results 1 – 2 of 2) sorted by relevance
38 !EvalAssumeCheckers.empty() || in hasPathSensitiveCheckers()512 for (unsigned i = 0, e = EvalAssumeCheckers.size(); i != e; ++i) { in runCheckersForEvalAssume()517 state = EvalAssumeCheckers[i](state, Cond, Assumption); in runCheckersForEvalAssume()675 EvalAssumeCheckers.push_back(checkfn); in _registerForEvalAssume()
589 std::vector<EvalAssumeFunc> EvalAssumeCheckers; variable