Searched refs:getConstraintFormulas (Results 1 – 2 of 2) sorted by relevance
44 constraints.addAll(reductionResult.getConstraintFormulas()); in reduce()
22 public List<ConstraintFormula> getConstraintFormulas() { in getConstraintFormulas() method in ConstraintFormula.ReductionResult