Searched refs:MaxComp (Results 1 – 1 of 1) sorted by relevance
408 const unsigned MaxComp = StateMgr.getOwningEngine() in makeSymExprValNN() local413 (symLHS->computeComplexity() + symRHS->computeComplexity()) < MaxComp) in makeSymExprValNN()416 if (symLHS && symLHS->computeComplexity() < MaxComp) in makeSymExprValNN()420 if (symRHS && symRHS->computeComplexity() < MaxComp) in makeSymExprValNN()