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 ConstraintFormulaSet
ConstraintFormulaSet. EMPTY
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return ConstraintFormulaSet Modifier and Type Method Description private ConstraintFormulaSet
TypeInference. constraintSetFromArgumentsSubstitution(java.util.List<ResolvedType> Fs, java.util.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 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)
-