Searched refs:computeComplexity (Results 1 – 4 of 4) sorted by relevance
89 virtual unsigned computeComplexity() const = 0;135 unsigned computeComplexity() const override { in computeComplexity() function
296 unsigned computeComplexity() const override { in computeComplexity() function298 Complexity = 1 + Operand->computeComplexity(); in computeComplexity()346 unsigned computeComplexity() const override { in computeComplexity() function348 Complexity = 1 + Operand->computeComplexity(); in computeComplexity()406 return Value->computeComplexity(); in computeOperandComplexity()445 unsigned computeComplexity() const override { in computeComplexity() function
433 (symLHS->computeComplexity() + symRHS->computeComplexity()) < MaxComp) in makeSymExprValNN()436 if (symLHS && symLHS->computeComplexity() < MaxComp) in makeSymExprValNN()441 if (symRHS && symRHS->computeComplexity() < MaxComp) in makeSymExprValNN()
69 if (!CondS || CondS->computeComplexity() > ComplexityThreshold) in evalAssume()