Package org.checkerframework.framework.util.typeinference.constraint
package org.checkerframework.framework.util.typeinference.constraint

ClassDescriptionA constraint of the form: A 《 F or F 》 AA2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.AFConstraint represent the initial constraints used to infer type arguments for method invocations and new class invocations.AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducible.A constraint of the form: F 《 A or A 》 FF2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.A constraint of the form: F = A or A = FFIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.A constraint of the form: T = UA constraint of the form:
T <: U
A constraint of the form:T :> U
Subclasses of TUConstraint represent constraints between a type parameter, whose type arguments are being inferred, and the types used to do that inference.