List of boundExactly() Examples

Examples of boundExactly()

kodkod.instance.Bounds.boundExactly()
Sets both the lower and upper bounds of the given relation to the given set of tuples. @requires tuples.arity = r.arity && tuples.universe = this.universe @effects this.relations' = this.relations + r this.lowerBound' = this.lowerBound' ++ r->tuples && this.upperBound' = this.lowerBound' ++ r->tuples @throws NullPointerException - r = null || tuples = null @throws IllegalArgumentException - tuples.arity != r.arity || tuples.universe != this.universe

Examples of kodkod.instance.Bounds.boundExactly()

          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());  
              changes.add(r.eq(rmodel).not());
            }
          }
        }

View Full Code Here

Examples of kodkod.instance.Bounds.boundExactly()

                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;
             }
          }
          SATFactory sat = solver.options().solver();

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.