Home
last modified time | relevance | path

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

/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
DConstraintFormulaSet.java14 public ConstraintFormulaSet withConstraint(ConstraintFormula constraintFormula) { in withConstraint() method in ConstraintFormulaSet
DConstraintFormula.java30 public ReductionResult withConstraint(ConstraintFormula constraintFormula) { in withConstraint() method in ConstraintFormula.ReductionResult