Class ConstraintFormula.ReductionResult
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula.ReductionResult
-
- Enclosing class:
- ConstraintFormula
public static class ConstraintFormula.ReductionResult extends Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static ConstraintFormula.ReductionResult
bounds(BoundSet bounds)
static ConstraintFormula.ReductionResult
empty()
boolean
equals(Object o)
static ConstraintFormula.ReductionResult
falseResult()
BoundSet
getBoundSet()
ConstraintFormula
getConstraint(int index)
List<ConstraintFormula>
getConstraintFormulas()
int
hashCode()
static ConstraintFormula.ReductionResult
oneBound(Bound bound)
static ConstraintFormula.ReductionResult
oneConstraint(ConstraintFormula constraintFormula)
String
toString()
static ConstraintFormula.ReductionResult
trueResult()
ConstraintFormula.ReductionResult
withBound(Bound bound)
ConstraintFormula.ReductionResult
withConstraint(ConstraintFormula constraintFormula)
static ConstraintFormula.ReductionResult
withConstraints(ConstraintFormula... constraints)
static ConstraintFormula.ReductionResult
withConstraints(List<ConstraintFormula> constraints)
-
-
-
Method Detail
-
getBoundSet
public BoundSet getBoundSet()
-
getConstraintFormulas
public 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()
-
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(List<ConstraintFormula> constraints)
-
bounds
public static ConstraintFormula.ReductionResult bounds(BoundSet bounds)
-
-