Home
last modified time | relevance | path

Searched refs:constraintFormulas (Results 1 – 2 of 2) sorted by relevance

/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
DConstraintFormula.java16 private List<ConstraintFormula> constraintFormulas; field in ConstraintFormula.ReductionResult
23 return constraintFormulas; in getConstraintFormulas()
33 newInstance.constraintFormulas = new LinkedList<>(); in withConstraint()
34 newInstance.constraintFormulas.addAll(this.constraintFormulas); in withConstraint()
35 newInstance.constraintFormulas.add(constraintFormula); in withConstraint()
42 newInstance.constraintFormulas = this.constraintFormulas; in withBound()
48 this.constraintFormulas = new LinkedList<>(); in ReductionResult()
67 return constraintFormulas.equals(that.constraintFormulas); in equals()
73 result = 31 * result + constraintFormulas.hashCode(); in hashCode()
81 ", constraintFormulas=" + constraintFormulas + in toString()
[all …]
DConstraintFormulaSet.java12 private List<ConstraintFormula> constraintFormulas; field in ConstraintFormulaSet
16 newInstance.constraintFormulas.addAll(this.constraintFormulas); in withConstraint()
17 newInstance.constraintFormulas.add(constraintFormula); in withConstraint()
28 constraintFormulas = new LinkedList<>(); in ConstraintFormulaSet()
39 List<ConstraintFormula> constraints = new LinkedList<>(constraintFormulas); in reduce()
51 return constraintFormulas.isEmpty(); in isEmpty()