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

Packages that use InferenceVariableSubstitution

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

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

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

Modifier and Type	Method	Description
static InferenceVariableSubstitution	InferenceVariableSubstitution.empty()
InferenceVariableSubstitution	InferenceVariableSubstitution.withPair(InferenceVariable inferenceVariable, ResolvedType type)

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

Modifier and Type	Method	Description
abstract boolean	Bound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)	A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.

Uses of InferenceVariableSubstitution in com.github.javaparser.symbolsolver.resolution.typeinference.bounds

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

Modifier and Type	Method	Description
boolean	CapturesBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean	FalseBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean	SameAsBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean	SubtypeOfBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean	ThrowsBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)