Class ConstraintFormula.ReductionResult

  • Enclosing class:
    ConstraintFormula

    public static class ConstraintFormula.ReductionResult
    extends java.lang.Object