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 and Description
static InferenceVariableSubstitution	InferenceVariableSubstitution.empty()
InferenceVariableSubstitution	InferenceVariableSubstitution.withPair(InferenceVariable inferenceVariable, com.github.javaparser.resolution.types.ResolvedType type)

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

Modifier and Type	Method and 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 and Description
boolean	SameAsBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean	FalseBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean	ThrowsBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean	SubtypeOfBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean	CapturesBound.isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)