Examples of kodkod.instance.Bounds.relations()

kodkod.instance.Bounds.relations()
Returns the set of all relations bound by this Bounds. The returned set does not support the add operation. It supports removal iff this is not an unmodifiable Bounds. @return this.relations

        final List<Formula> changes = new LinkedList<Formula>();
                
        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()) {

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.