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