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

Packages that use ConstraintFormulaSet

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

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

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

Modifier and Type	Field	Description
private static final ConstraintFormulaSet	ConstraintFormulaSet.EMPTY

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

Modifier and Type	Method	Description
private ConstraintFormulaSet	TypeInference.constraintSetFromArgumentsSubstitution(List<ResolvedType> Fs, List<Expression> es, Substitution theta, int k)
static ConstraintFormulaSet	ConstraintFormulaSet.empty()
ConstraintFormulaSet	ConstraintFormulaSet.withConstraint(ConstraintFormula constraintFormula)

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

Modifier and Type	Method	Description
private Optional<ConstraintFormulaSet>	TypeInference.testForApplicabilityByLooseInvocation(List<ResolvedType> Fs, List<Expression> es, Substitution theta)
private Optional<ConstraintFormulaSet>	TypeInference.testForApplicabilityByStrictInvocation(List<ResolvedType> Fs, List<Expression> es, Substitution theta)
private Optional<ConstraintFormulaSet>	TypeInference.testForApplicabilityByVariableArityInvocation(List<ResolvedType> Fs, List<Expression> es, Substitution theta)