Class ConstraintFormula.ReductionResult
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula.ReductionResult
-
- Enclosing class:
- ConstraintFormula
public static class ConstraintFormula.ReductionResult extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description private BoundSet
boundSet
private java.util.List<ConstraintFormula>
constraintFormulas
-
Constructor Summary
Constructors Modifier Constructor Description private
ReductionResult()
-
Method Summary
-
-
-
Field Detail
-
boundSet
private BoundSet boundSet
-
constraintFormulas
private java.util.List<ConstraintFormula> constraintFormulas
-
-
Method Detail
-
getBoundSet
public BoundSet getBoundSet()
-
getConstraintFormulas
public java.util.List<ConstraintFormula> getConstraintFormulas()
-
empty
public static ConstraintFormula.ReductionResult empty()
-
withConstraint
public ConstraintFormula.ReductionResult withConstraint(ConstraintFormula constraintFormula)
-
withBound
public ConstraintFormula.ReductionResult withBound(Bound bound)
-
trueResult
public static ConstraintFormula.ReductionResult trueResult()
-
falseResult
public static ConstraintFormula.ReductionResult falseResult()
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getConstraint
public ConstraintFormula getConstraint(int index)
-
oneConstraint
public static ConstraintFormula.ReductionResult oneConstraint(ConstraintFormula constraintFormula)
-
withConstraints
public static ConstraintFormula.ReductionResult withConstraints(ConstraintFormula... constraints)
-
oneBound
public static ConstraintFormula.ReductionResult oneBound(Bound bound)
-
withConstraints
public static ConstraintFormula.ReductionResult withConstraints(java.util.List<ConstraintFormula> constraints)
-
bounds
public static ConstraintFormula.ReductionResult bounds(BoundSet bounds)
-
-