Examples of kodkod.instance.Bounds.bound()

kodkod.instance.Bounds.bound()

Sets the lower and upper bounds for the given relation. @requires lower.tuples in upper.tuples && lower.arity = upper.arity = r.arity &&lower.universe = upper.universe = this.universe @effects this.relations' = this.relations + r &&this.lowerBound' = this.lowerBound ++ r->lower && this.upperBound' = this.upperBound ++ r->upper @throws NullPointerException - r = null || lower = null || upper = null @throws IllegalArgumentException - lower.arity != r.arity || upper.arity != r.arity @throws IllegalArgumentException - lower.universe != this.universe || upper.universe != this.universe @throws IllegalArgumentException - lower.tuples !in upper.tuples

                
        for(Map.Entry<Relation, TupleSet> entry: trivialInstance.relationTuples().entrySet()) {
          final Relation r = entry.getKey();
          
          if (!translBounds.relations().contains(r)) { 
            translBounds.bound(r, bounds.lowerBound(r), bounds.upperBound(r));
          }
          
          if (translBounds.lowerBound(r)!=translBounds.upperBound(r)) { // r may change
            if (entry.getValue().isEmpty()) { 
              changes.add(r.some());

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.