Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula.ReductionResult
Packages that use ConstraintFormula.ReductionResult
Package
Description
-
Uses of ConstraintFormula.ReductionResult in com.github.javaparser.symbolsolver.resolution.typeinference
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return ConstraintFormula.ReductionResultModifier and TypeMethodDescriptionConstraintFormula.ReductionResult.empty()
ConstraintFormula.ReductionResult.falseResult()
ConstraintFormula.ReductionResult.oneConstraint
(ConstraintFormula constraintFormula) abstract ConstraintFormula.ReductionResult
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.ConstraintFormula.ReductionResult.trueResult()
ConstraintFormula.ReductionResult.withConstraint
(ConstraintFormula constraintFormula) ConstraintFormula.ReductionResult.withConstraints
(ConstraintFormula... constraints) 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.ReductionResultModifier and TypeMethodDescription