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 final BoundSet	BoundSet.EMPTY

Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return BoundSet

Modifier and Type	Method	Description
private BoundSet	TypeInference.boundSetup(List<ResolvedTypeParameterDeclaration> typeParameterDeclarations, 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)