Searched refs:EvalAssumeFunc (Results 1 – 3 of 3) sorted by relevance
541 using EvalAssumeFunc = variable590 void _registerForEvalAssume(EvalAssumeFunc checkfn);696 std::vector<EvalAssumeFunc> EvalAssumeCheckers;
482 CheckerManager::EvalAssumeFunc(checker, _evalAssume<CHECKER>)); in _register()
960 void CheckerManager::_registerForEvalAssume(EvalAssumeFunc checkfn) { in _registerForEvalAssume()