Searched refs:EvalAssumeFunc (Results 1 – 3 of 3) sorted by relevance
466 EvalAssumeFunc; typedef511 void _registerForEvalAssume(EvalAssumeFunc checkfn);622 std::vector<EvalAssumeFunc> EvalAssumeCheckers;
460 CheckerManager::EvalAssumeFunc(checker, _evalAssume<CHECKER>)); in _register()
744 void CheckerManager::_registerForEvalAssume(EvalAssumeFunc checkfn) { in _registerForEvalAssume()