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