HomeSort by relevance Sort by last modified time
    Searched refs:constraintFormula (Results 1 - 2 of 2) sorted by null

  /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
ConstraintFormulaSet.java 12 private List<ConstraintFormula> constraintFormulas;
14 public ConstraintFormulaSet withConstraint(ConstraintFormula constraintFormula) {
17 newInstance.constraintFormulas.add(constraintFormula);
39 List<ConstraintFormula> constraints = new LinkedList<>(constraintFormulas);
42 ConstraintFormula constraintFormula = constraints.remove(0);
43 ConstraintFormula.ReductionResult reductionResult = constraintFormula.reduce(boundSet);
ConstraintFormula.java 12 public abstract class ConstraintFormula {
16 private List<ConstraintFormula> constraintFormulas;
22 public List<ConstraintFormula> getConstraintFormulas() {
30 public ReductionResult withConstraint(ConstraintFormula constraintFormula) {
35 newInstance.constraintFormulas.add(constraintFormula);
85 public ConstraintFormula getConstraint(int index) {
92 public static ReductionResult oneConstraint(ConstraintFormula constraintFormula) {
93 return empty().withConstraint(constraintFormula);
    [all...]

Completed in 208 milliseconds