Searched refs:computeComplexity (Results 1 – 4 of 4) sorted by relevance
91 virtual unsigned computeComplexity() const = 0;137 unsigned computeComplexity() const override { in computeComplexity() function
297 unsigned computeComplexity() const override { in computeComplexity() function299 Complexity = 1 + Operand->computeComplexity(); in computeComplexity()347 unsigned computeComplexity() const override { in computeComplexity() function349 Complexity = 1 + Operand->computeComplexity(); in computeComplexity()407 return Value->computeComplexity(); in computeOperandComplexity()446 unsigned computeComplexity() const override { in computeComplexity() function
440 (symLHS->computeComplexity() + symRHS->computeComplexity()) < MaxComp) in makeSymExprValNN()443 if (symLHS && symLHS->computeComplexity() < MaxComp) in makeSymExprValNN()448 if (symRHS && symRHS->computeComplexity() < MaxComp) in makeSymExprValNN()
69 if (!CondS || CondS->computeComplexity() > ComplexityThreshold) in evalAssume()