Search Java Classes and Packages
#Org.checkerframework.framework.util.typeinference.solver Classes and Interfaces - 10 results found.
| Name | Description | Type | Package | Framework |
| ConstraintMap | ConstraintMap holds simplified versions of the TUConstraints for ALL type variable for which we are inferring an argument. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| ConstraintMapBuilder | Converts a set of TUConstraints into a ConstraintMap. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| EqualitiesSolver | EqualitiesSolver infers type arguments for targets using the equality constraints in ConstraintMap. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| InferenceResult | Represents the result from inferring type arguments. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| InferredValue | 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 | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| InferredValue .InferredTarget | Indicates that a corresponding target was inferred to be the field "target" in the hierarchies not overridden by additionalAnnotations | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| InferredValue .InferredType | Indicates that a corresponding target was inferred to be the field "type" in all hierarchies. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| SubtypesSolver | Infers type arguments by using the Greatest Lower Bound computation on the subtype relationships in a constraint map. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| SupertypesSolver | Infers type arguments by using the Least Upper Bound computation on the supertype relationships in a constraint map. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| TargetConstraints | TargetConstraints represents the set of all TUConstraints for which target was the type parameter, i. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |