Uses of Class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet

Packages that use BoundSet
Package	Description
com.github.javaparser.symbolsolver.resolution.typeinference
com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Uses of BoundSet in com.github.javaparser.symbolsolver.resolution.typeinference

Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as BoundSet
Modifier and Type	Field	Description
`private BoundSet`	ConstraintFormula.ReductionResult.`boundSet`
`private static BoundSet`	BoundSet.`EMPTY`

Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return BoundSet
Modifier and Type	Method	Description
`private BoundSet`	TypeInference.`boundSetup(java.util.List<ResolvedTypeParameterDeclaration> typeParameterDeclarations, java.util.List<InferenceVariable> inferenceVariables)`	When inference begins, a bound set is typically generated from a list of type parameter declarations P1, ..., Pp and associated inference variables α1, ..., αp
`BoundSet`	BoundSet.`deriveImpliedBounds(TypeSolver typeSolver)`
`static BoundSet`	BoundSet.`empty()`
`BoundSet`	ConstraintFormula.ReductionResult.`getBoundSet()`
`BoundSet`	BoundSet.`incorporate(BoundSet otherBounds, TypeSolver typeSolver)`	Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added.
`BoundSet`	TypeInference.`invocationTypeInferenceBoundsSetB3()`
`BoundSet`	ConstraintFormulaSet.`reduce(TypeSolver typeSolver)`	Takes a compatibility assertion about an expression or type, called a constraint formula, and reduces it to a set of bounds on inference variables.
`BoundSet`	BoundSet.`withBound(Bound bound)`

Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type BoundSet
Modifier and Type	Method	Description
`boolean`	InstantiationSet.`allInferenceVariablesAreResolved(BoundSet boundSet)`
`static ConstraintFormula.ReductionResult`	ConstraintFormula.ReductionResult.`bounds(BoundSet bounds)`
`BoundSet`	BoundSet.`incorporate(BoundSet otherBounds, TypeSolver typeSolver)`	Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added.
`abstract ConstraintFormula.ReductionResult`	ConstraintFormula.`reduce(BoundSet currentBoundSet)`	A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set.

Uses of BoundSet in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Methods in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas with parameters of type BoundSet
Modifier and Type	Method	Description
`ConstraintFormula.ReductionResult`	ExpressionCompatibleWithType.`reduce(BoundSet currentBoundSet)`
`ConstraintFormula.ReductionResult`	LambdaThrowsCompatibleWithType.`reduce(BoundSet currentBoundSet)`
`ConstraintFormula.ReductionResult`	MethodReferenceThrowsCompatibleWithType.`reduce(BoundSet currentBoundSet)`
`ConstraintFormula.ReductionResult`	TypeCompatibleWithType.`reduce(BoundSet currentBoundSet)`
`ConstraintFormula.ReductionResult`	TypeContainedByType.`reduce(BoundSet currentBoundSet)`
`ConstraintFormula.ReductionResult`	TypeSameAsType.`reduce(BoundSet currentBoundSet)`
`ConstraintFormula.ReductionResult`	TypeSubtypeOfType.`reduce(BoundSet currentBoundSet)`