Package org.checkerframework.framework.util.typeinference8.constraint

Class ReductionResult.ReductionResultPair

java.lang.Object

org.checkerframework.framework.util.typeinference8.constraint.ReductionResult.ReductionResultPair

All Implemented Interfaces:

ReductionResult

Enclosing interface:

ReductionResult

public static class ReductionResult.ReductionResultPair
extends Object
implements 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

Fields

Modifier and Type	Field	Description
final BoundSet	boundSet	A bound set.
final ConstraintSet	constraintSet	A constraint set.

Fields inherited from interface org.checkerframework.framework.util.typeinference8.constraint.ReductionResult

UNCHECKED_CONVERSION

Method Summary

Modifier and Type	Method	Description
static ReductionResult.ReductionResultPair	of(ConstraintSet constraintSet, BoundSet boundSet)	Creates a reduction result pair.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

constraintSet

public final ConstraintSet constraintSet

A constraint set.

boundSet

public final BoundSet 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 set

boundSet - a bound set

Returns:

a reduction result pair