Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula.ReductionResult

Packages that use ConstraintFormula.ReductionResult

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

Uses of ConstraintFormula.ReductionResult in com.github.javaparser.symbolsolver.resolution.typeinference

Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return ConstraintFormula.ReductionResult

Modifier and Type	Method	Description
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.bounds(BoundSet bounds)
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.empty()
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.falseResult()
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.oneBound(Bound bound)
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.oneConstraint(ConstraintFormula constraintFormula)
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.
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.trueResult()
ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.withBound(Bound bound)
ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.withConstraint(ConstraintFormula constraintFormula)
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.withConstraints(ConstraintFormula... constraints)
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.withConstraints(List<ConstraintFormula> constraints)

Uses of ConstraintFormula.ReductionResult in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Methods in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas that return ConstraintFormula.ReductionResult

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)