Class Hierarchy
- java.lang.Object
- org.checkerframework.framework.util.typeinference.constraint.A2FReducer (implements org.checkerframework.framework.util.typeinference.constraint.AFReducer)
- org.checkerframework.framework.util.typeinference.constraint.AFConstraint
- org.checkerframework.framework.util.typeinference.constraint.A2F
- org.checkerframework.framework.util.typeinference.constraint.F2A
- org.checkerframework.framework.util.typeinference.constraint.FIsA
- org.checkerframework.framework.util.typeinference.constraint.F2AReducer (implements org.checkerframework.framework.util.typeinference.constraint.AFReducer)
- org.checkerframework.framework.util.typeinference.constraint.FIsAReducer (implements org.checkerframework.framework.util.typeinference.constraint.AFReducer)
- org.checkerframework.framework.util.typeinference.constraint.TUConstraint
- org.checkerframework.framework.util.typeinference.constraint.TIsU
- org.checkerframework.framework.util.typeinference.constraint.TSubU
- org.checkerframework.framework.util.typeinference.constraint.TSuperU
Interface Hierarchy
- org.checkerframework.framework.util.typeinference.constraint.AFReducer