Home
last modified time | relevance | path

Searched defs: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()
42 ConstraintFormula constraintFormula = constraints.remove(0); in reduce() local
H A DConstraintFormula.java30 public ReductionResult withConstraint(ConstraintFormula constraintFormula) { in withConstraint()
92 public static ReductionResult oneConstraint(ConstraintFormula constraintFormula) { in oneConstraint()