Uses of Package
com.github.javaparser.symbolsolver.resolution.typeinference

Packages that use com.github.javaparser.symbolsolver.resolution.typeinference

Package	Description
com.github.javaparser.symbolsolver.resolution.typeinference
com.github.javaparser.symbolsolver.resolution.typeinference.bounds
com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Classes in com.github.javaparser.symbolsolver.resolution.typeinference used by com.github.javaparser.symbolsolver.resolution.typeinference

Class and Description
Bound Bounds are defined for Inference Variables.
BoundSet
ConstraintFormula Constraint formulas are assertions of compatibility or subtyping that may involve inference variables.
ConstraintFormula.ReductionResult
ConstraintFormulaSet
ControlFlowLogic Consider Control Flow to determine which statements are reachable.
InferenceVariable Are meta-variables for types - that is, they are special names that allow abstract reasoning about types.
InferenceVariableSubstitution
Instantiation
InstantiationSet
MethodType A MethodType is an ordered 4-tuple consisting of: 1.
ProperLowerBound
ProperUpperBound
Substitution

Classes in com.github.javaparser.symbolsolver.resolution.typeinference used by com.github.javaparser.symbolsolver.resolution.typeinference.bounds

Class and Description
Bound Bounds are defined for Inference Variables.
InferenceVariable Are meta-variables for types - that is, they are special names that allow abstract reasoning about types.
InferenceVariableSubstitution
Instantiation
ProperLowerBound
ProperUpperBound

Classes in com.github.javaparser.symbolsolver.resolution.typeinference used by com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Class and Description
BoundSet
ConstraintFormula Constraint formulas are assertions of compatibility or subtyping that may involve inference variables.
ConstraintFormula.ReductionResult