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