Class ReductionResult.ReductionResultPair
java.lang.Object
org.checkerframework.framework.util.typeinference8.constraint.ReductionResult.ReductionResultPair
- All Implemented Interfaces:
ReductionResult
- Enclosing interface:
ReductionResult
A reduction result that contains a bound set and a constraint set.
-
Nested Class Summary
Nested classes/interfaces inherited from interface org.checkerframework.framework.util.typeinference8.constraint.ReductionResult
ReductionResult.ReductionResultPair -
Field Summary
FieldsModifier and TypeFieldDescriptionfinal BoundSetA bound set.final ConstraintSetA constraint set.Fields inherited from interface org.checkerframework.framework.util.typeinference8.constraint.ReductionResult
UNCHECKED_CONVERSION -
Method Summary
Modifier and TypeMethodDescriptionof(ConstraintSet constraintSet, BoundSet boundSet) Creates a reduction result pair.
-
Field Details
-
constraintSet
A constraint set. -
boundSet
A bound set.
-
-
Method Details
-
of
public static ReductionResult.ReductionResultPair of(ConstraintSet constraintSet, BoundSet boundSet) Creates a reduction result pair.- Parameters:
constraintSet- a constraint setboundSet- a bound set- Returns:
- a reduction result pair
-