Class ConstraintFormula.ReductionResult
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula.ReductionResult
- Enclosing class:
- ConstraintFormula
-
Method Summary
Modifier and TypeMethodDescriptionempty()
boolean
getConstraint(int index)
int
hashCode()
oneConstraint(ConstraintFormula constraintFormula)
toString()
withConstraint(ConstraintFormula constraintFormula)
withConstraints(ConstraintFormula... constraints)
withConstraints(List<ConstraintFormula> constraints)
-
Method Details
-
getBoundSet
-
getConstraintFormulas
-
empty
-
withConstraint
-
withBound
-
trueResult
-
falseResult
-
equals
-
hashCode
public int hashCode() -
toString
-
getConstraint
-
oneConstraint
-
withConstraints
-
oneBound
-
withConstraints
public static ConstraintFormula.ReductionResult withConstraints(List<ConstraintFormula> constraints) -
bounds
-