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

Packages that use ConstraintFormula

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

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

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

Modifier and Type	Method	Description
ConstraintFormula	ConstraintFormula.ReductionResult.getConstraint(int index)

Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return types with arguments of type ConstraintFormula

Modifier and Type	Method	Description
List<ConstraintFormula>	ConstraintFormula.ReductionResult.getConstraintFormulas()

Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type ConstraintFormula

Modifier and Type	Method	Description
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.oneConstraint(ConstraintFormula constraintFormula)
ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.withConstraint(ConstraintFormula constraintFormula)
ConstraintFormulaSet	ConstraintFormulaSet.withConstraint(ConstraintFormula constraintFormula)
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.withConstraints(ConstraintFormula... constraints)

Method parameters in com.github.javaparser.symbolsolver.resolution.typeinference with type arguments of type ConstraintFormula

Modifier and Type	Method	Description
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.withConstraints(List<ConstraintFormula> constraints)

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

Subclasses of ConstraintFormula in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Modifier and Type	Class	Description
class	ExpressionCompatibleWithType	An expression is compatible in a loose invocation context with type T
class	LambdaThrowsCompatibleWithType	The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.
class	MethodReferenceThrowsCompatibleWithType	The checked exceptions thrown by the referenced method are declared by the throws clause of the function type derived from T.
class	TypeCompatibleWithType	A type S is compatible in a loose invocation context with type T
class	TypeContainedByType	A type argument S is contained by a type argument T
class	TypeSameAsType	A type S is the same as a type T (§4.3.4), or a type argument S is the same as type argument T
class	TypeSubtypeOfType	A reference type S is a subtype of a reference type T