Lines Matching defs:simplify
974 /// Iterate over all symbols and try to simplify them.
975 [[nodiscard]] static inline ProgramStateRef simplify(SValBuilder &SVB,
2204 // Iterate over all equivalence classes and try to simplify them.
2208 State = EquivalenceClass::simplify(Builder, RangeFactory, State, Class);
2216 // well. And we try to simplify symbols in the constraints.
2222 State = EquivalenceClass::simplify(Builder, RangeFactory, State, Class);
2228 // well, and we need to simplify them.
2234 State = EquivalenceClass::simplify(Builder, RangeFactory, State, Class);
2667 // Iterate over all symbols and try to simplify them. Once a symbol is
2669 // class to this class. This way, we simplify not just the symbols but the
2673 EquivalenceClass::simplify(SValBuilder &SVB, RangeSet::Factory &F,
2728 // we can simplify only one symbol of one class in each iteration. The