Class ConstraintFormula.ReductionResult
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula.ReductionResult
- Enclosing class:
ConstraintFormula
-
Field Summary
Fields -
Constructor Summary
Constructors -
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)
-
Field Details
-
boundSet
-
constraintFormulas
-
-
Constructor Details
-
ReductionResult
private ReductionResult()
-
-
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
-