Home
last modified time | relevance | path

Searched defs:reductionResult (Results 1 – 2 of 2) sorted by relevance

/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
DConstraintFormula.java105 ReductionResult reductionResult = new ReductionResult(); in withConstraints() local
111 ReductionResult reductionResult = new ReductionResult(); in bounds() local
DConstraintFormulaSet.java43 ConstraintFormula.ReductionResult reductionResult = constraintFormula.reduce(boundSet); in reduce() local