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