Searched refs:computeComplexity (Results 1 – 4 of 4) sorted by relevance
89 virtual unsigned computeComplexity() const = 0;134 unsigned computeComplexity() const override { in computeComplexity() function
282 unsigned computeComplexity() const override { in computeComplexity() function284 Complexity = 1 + Operand->computeComplexity(); in computeComplexity()342 return Value->computeComplexity(); in computeOperandComplexity()381 unsigned computeComplexity() const override { in computeComplexity() function
399 (symLHS->computeComplexity() + symRHS->computeComplexity()) < MaxComp) in makeSymExprValNN()402 if (symLHS && symLHS->computeComplexity() < MaxComp) in makeSymExprValNN()406 if (symRHS && symRHS->computeComplexity() < MaxComp) in makeSymExprValNN()
69 if (!CondS || CondS->computeComplexity() > ComplexityThreshold) in evalAssume()