Searched refs:computeComplexity (Results 1 – 4 of 4) sorted by relevance
273 unsigned computeComplexity() const override { in computeComplexity() function275 Complexity = 1 + Operand->computeComplexity(); in computeComplexity()349 unsigned computeComplexity() const override { in computeComplexity() function351 Complexity = 1 + LHS->computeComplexity(); in computeComplexity()392 unsigned computeComplexity() const override { in computeComplexity() function394 Complexity = 1 + RHS->computeComplexity(); in computeComplexity()436 unsigned computeComplexity() const override { in computeComplexity() function438 Complexity = RHS->computeComplexity() + LHS->computeComplexity(); in computeComplexity()
90 virtual unsigned computeComplexity() const = 0;132 unsigned computeComplexity() const override { in computeComplexity() function
391 (symLHS->computeComplexity() + symRHS->computeComplexity()) < MaxComp) in makeSymExprValNN()394 if (symLHS && symLHS->computeComplexity() < MaxComp) in makeSymExprValNN()398 if (symRHS && symRHS->computeComplexity() < MaxComp) in makeSymExprValNN()
70 if (!CondS || CondS->computeComplexity() > ComplexityThreshold) in evalAssume()