Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormulaSet
Packages that use ConstraintFormulaSet
-
Uses of ConstraintFormulaSet in com.github.javaparser.symbolsolver.resolution.typeinference
Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as ConstraintFormulaSetModifier and TypeFieldDescriptionprivate static final ConstraintFormulaSet
ConstraintFormulaSet.EMPTY
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return ConstraintFormulaSetModifier and TypeMethodDescriptionprivate ConstraintFormulaSet
TypeInference.constraintSetFromArgumentsSubstitution
(List<ResolvedType> Fs, List<Expression> es, Substitution theta, int k) static ConstraintFormulaSet
ConstraintFormulaSet.empty()
ConstraintFormulaSet.withConstraint
(ConstraintFormula constraintFormula) Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return types with arguments of type ConstraintFormulaSetModifier and TypeMethodDescriptionprivate 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)