Home
last modified time | relevance | path

Searched refs:constraintFormula (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.java14 public ConstraintFormulaSet withConstraint(ConstraintFormula constraintFormula) { in withConstraint() argument
17 newInstance.constraintFormulas.add(constraintFormula); in withConstraint()
42 ConstraintFormula constraintFormula = constraints.remove(0); in reduce() local
43 ConstraintFormula.ReductionResult reductionResult = constraintFormula.reduce(boundSet); in reduce()
H A DConstraintFormula.java30 public ReductionResult withConstraint(ConstraintFormula constraintFormula) { in withConstraint() argument
35 newInstance.constraintFormulas.add(constraintFormula); in withConstraint()
92 public static ReductionResult oneConstraint(ConstraintFormula constraintFormula) { in oneConstraint() argument
93 return empty().withConstraint(constraintFormula); in oneConstraint()