org.checkerframework.framework.util.typeinference.solver

Classes

• ConstraintMap
• ConstraintMapBuilder
• EqualitiesSolver
• InferenceResult
• InferredValue
• InferredValue.InferredTarget
• InferredValue.InferredType
• SubtypesSolver
• SupertypesSolver
• TargetConstraints
• TargetConstraints.Equalities
• TargetConstraints.Subtypes
• TargetConstraints.Supertypes