Home
last modified time | relevance | path

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

/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
DConstraintFormula.java96 public static ReductionResult withConstraints(ConstraintFormula... constraints) { in withConstraints() method in ConstraintFormula.ReductionResult
104 public static ReductionResult withConstraints(List<ConstraintFormula> constraints) { in withConstraints() method in ConstraintFormula.ReductionResult