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)