Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula.ReductionResult
-
-
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)
-