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

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

Modifier and Type	Method and Description
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 and 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 and Description
ConstraintFormula.ReductionResult	LambdaThrowsCompatibleWithType.reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult	TypeContainedByType.reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult	TypeSubtypeOfType.reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult	ExpressionCompatibleWithType.reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult	TypeCompatibleWithType.reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult	TypeSameAsType.reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult	MethodReferenceThrowsCompatibleWithType.reduce(BoundSet currentBoundSet)