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

ClassDescriptionConstraintMap holds simplified versions of the TUConstraints for ALL type variable for which we are inferring an argument.Converts a set of TUConstraints into a ConstraintMap.EqualitiesSolver infers type arguments for targets using the equality constraints in ConstraintMap.Represents the result from inferring type arguments.When one of the constraint solvers infers that a the target has a given type/target in ALL qualifier hierarchies or that given an additional set of annotations that we know the target must hold we have covered all hierarchies then it creates an InferredValue to represent this inference.Indicates that a corresponding target was inferred to be the field "target" in the hierarchies not overridden by additionalAnnotations.Indicates that a corresponding target was inferred to be the field "type" in all hierarchies.Infers type arguments by using the Greatest Lower Bound computation on the subtype relationships in a constraint map.Infers type arguments by using the Least Upper Bound computation on the supertype relationships in a constraint map.TargetConstraints represents the set of all TUConstraints for which target was the type parameter, i.e.Remember these are constraints in which the target is the subtype.