Searched refs:boundSet (Results 1 – 7 of 7) sorted by relevance
15 private BoundSet boundSet; field in ConstraintFormula.ReductionResult19 return boundSet; in getBoundSet()32 newInstance.boundSet = this.boundSet; in withConstraint()41 newInstance.boundSet = this.boundSet.withBound(bound); in withBound()47 this.boundSet = BoundSet.empty(); in ReductionResult()66 if (!boundSet.equals(that.boundSet)) return false; in equals()72 int result = boundSet.hashCode(); in hashCode()80 "boundSet=" + boundSet + in toString()112 reductionResult.boundSet = bounds; in bounds()
40 BoundSet boundSet = BoundSet.empty(); in reduce() local43 ConstraintFormula.ReductionResult reductionResult = constraintFormula.reduce(boundSet); in reduce()45 boundSet.incorporate(reductionResult.getBoundSet(), typeSolver); in reduce()47 return boundSet; in reduce()
514 BoundSet boundSet = BoundSet.empty(); in boundSetup() local523 boundSet = boundSet.withBound(new SubtypeOfBound(alphaL, object)); in boundSetup()538 boundSet = boundSet.withBound(new SubtypeOfBound(alphaL, TWithSubstitutions)); in boundSetup()540 if (boundSet.getProperUpperBoundsFor(alphaL).isEmpty()) { in boundSetup()541 boundSet = boundSet.withBound(new SubtypeOfBound(alphaL, object)); in boundSetup()547 return boundSet; in boundSetup()
32 BoundSet boundSet = (BoundSet) o; in equals()34 return new HashSet<>(bounds).equals(new HashSet<>(boundSet.bounds)); in equals()66 BoundSet boundSet = new BoundSet(); in withBound() local67 boundSet.bounds.addAll(this.bounds); in withBound()68 boundSet.bounds.add(bound); in withBound()69 return boundSet; in withBound()
15 public boolean allInferenceVariablesAreResolved(BoundSet boundSet) { in allInferenceVariablesAreResolved() argument
META-INF/MANIFEST.MF META-INF/ECLIPSE_.SF META-INF/ECLIPSE_ ...
META-INF/ META-INF/MANIFEST.MF com/ com/google/ com/ ...