Examples of kodkod.instance.Bounds.upperBound()

kodkod.instance.Bounds.upperBound()
Returns the set of tuples that r may contain (the upper bound on r's contents). If r is not mapped by this, null is returned. @return r in this.relations => upperBound[r], null

          
          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());
            } else {
              final Relation rmodel = Relation.nary(r.name()+"_"+trivial, r.arity());
              translBounds.boundExactly(rmodel, entry.getValue());

View Full Code Here

                }
                if (!(expr instanceof Relation)) return null;
                if (b==null) b = frame.getBounds(); // We delay the expansive Bounds.clone() until we really find a possible match
                if (ts==null) ts = fac.noneOf(expr.arity());
                if (!ts.containsAll(b.lowerBound((Relation)expr))) return null; // Sanity check
                if (!b.upperBound((Relation)expr).containsAll(ts)) return null; // Sanity check
                b.boundExactly((Relation)expr, ts);
                ts=null;
                continue;
             }
          }

View Full Code Here

TOP

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.