Searched refs:EvalAssumeFunc (Results 1 – 3 of 3) sorted by relevance
473 EvalAssumeFunc; typedef515 void _registerForEvalAssume(EvalAssumeFunc checkfn);642 std::vector<EvalAssumeFunc> EvalAssumeCheckers;
404 CheckerManager::EvalAssumeFunc(checker, _evalAssume<CHECKER>)); in _register()
674 void CheckerManager::_registerForEvalAssume(EvalAssumeFunc checkfn) { in _registerForEvalAssume()