Searched refs:MaxComp (Results 1 – 1 of 1) sorted by relevance
394 const unsigned MaxComp = StateMgr.getOwningEngine() in makeSymExprValNN() local399 (symLHS->computeComplexity() + symRHS->computeComplexity()) < MaxComp) in makeSymExprValNN()402 if (symLHS && symLHS->computeComplexity() < MaxComp) in makeSymExprValNN()406 if (symRHS && symRHS->computeComplexity() < MaxComp) in makeSymExprValNN()