Searched refs:_registerForEvalAssume (Results 1 – 3 of 3) sorted by relevance
580 void _registerForEvalAssume(EvalAssumeFunc checkfn);
470 mgr._registerForEvalAssume( in _register()
888 void CheckerManager::_registerForEvalAssume(EvalAssumeFunc checkfn) { in _registerForEvalAssume() function in CheckerManager