Home
last modified time | relevance | path

Searched refs:getConstraintFormulas (Results 1 – 2 of 2) sorted by relevance

/aosp_15_r20/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
H A DConstraintFormulaSet.java44 constraints.addAll(reductionResult.getConstraintFormulas()); in reduce()
H A DConstraintFormula.java22 public List<ConstraintFormula> getConstraintFormulas() { in getConstraintFormulas() method in ConstraintFormula.ReductionResult