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

Packages that use Substitution

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

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

Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as Substitution

Modifier and Type	Field	Description
private static Substitution	Substitution.EMPTY

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

Modifier and Type	Method	Description
static Substitution	Substitution.empty()
Substitution	Substitution.withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedType type)

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

Modifier and Type	Method	Description
private ConstraintFormulaSet	TypeInference.constraintSetFromArgumentsSubstitution(java.util.List<ResolvedType> Fs, java.util.List<Expression> es, Substitution theta, int k)
private java.util.Optional<ConstraintFormulaSet>	TypeInference.testForApplicabilityByLooseInvocation(java.util.List<ResolvedType> Fs, java.util.List<Expression> es, Substitution theta)
private java.util.Optional<ConstraintFormulaSet>	TypeInference.testForApplicabilityByStrictInvocation(java.util.List<ResolvedType> Fs, java.util.List<Expression> es, Substitution theta)
private java.util.Optional<ConstraintFormulaSet>	TypeInference.testForApplicabilityByVariableArityInvocation(java.util.List<ResolvedType> Fs, java.util.List<Expression> es, Substitution theta)
private ResolvedType	TypeInference.typeWithSubstitution(ResolvedType originalType, Substitution substitution)