Searched refs:constraintSetFromArgumentsSubstitution (Results 1 – 1 of 1) sorted by relevance
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/ |
| H A D | TypeInference.java | 670 return Optional.of(constraintSetFromArgumentsSubstitution(Fs, es, theta, k)); in testForApplicabilityByStrictInvocation()
689 return Optional.of(constraintSetFromArgumentsSubstitution(Fs, es, theta, k)); in testForApplicabilityByLooseInvocation()
692 …private ConstraintFormulaSet constraintSetFromArgumentsSubstitution(List<ResolvedType> Fs, List<Ex… in constraintSetFromArgumentsSubstitution() method in TypeInference
717 return Optional.of(constraintSetFromArgumentsSubstitution(FsFirst, es, theta, k)); in testForApplicabilityByVariableArityInvocation()
|