List of some() Examples

Examples of some()

edu.mit.csail.sdg.alloy4compiler.ast.Expr.some()
Returns the formula (some this)
this must be a set or a relation
kodkod.ast.Expression.some()
Returns the formula 'some this'. The effect of this method is the same as calling this.apply(SOME). @return this.apply(SOME)
kodkod.ast.Relation.some()
kodkod.engine.bool.BooleanMatrix.some()
Returns a BooleanValue that constrains at least one value in this.elements to be true. The effect of this method is the same as calling this.orFold(). @return { f: BooleanValue | f <=> this.elements[0] || ... || this.elements[this.dimensions.capacity-1] }

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Expr.some()

        Expr g = A.addField("g", B);
        // The line above is the same as:   A.addField(null, "g", B.oneOf())  since B is unary.
        // If you want "setOf", you need:   A.addField(null, "g", B.setOf())


        // pred someG { some g }
        Func someG = new Func(null, "SomeG", null, null, g.some());


        // pred atMostThree[x:univ, y:univ] { #(x+y) >= 3 }
        Decl x = UNIV.oneOf("x");
        Decl y = UNIV.oneOf("y");
        Expr body = x.get().plus(y.get()).cardinality().lte(ExprConstant.makeNUMBER(3));

View Full Code Here

Examples of kodkod.ast.Expression.some()

            if (s.isOne!=null && (lower.size()!=1 || upper.size()!=1)) {
                rep.bound("Sig "+s+" in "+upper+" with size==1\n");
                sol.addFormula(exp.one(), s.isOne);
                continue;
            }
            if (s.isSome!=null && lower.size()<1) sol.addFormula(exp.some(), s.isSome);
            if (s.isLone!=null && upper.size()>1) sol.addFormula(exp.lone(), s.isLone);
            if (n<0) continue; // This means no scope was specified
            if (lower.size()==n && upper.size()==n && sc.isExact(s)) {
                rep.bound("Sig "+s+" == "+upper+"\n");
            }

View Full Code Here

Examples of kodkod.ast.Relation.some()

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

View Full Code Here

Examples of kodkod.engine.bool.BooleanMatrix.some()

    final BooleanMatrix child = multFormula.expression().accept(this);
    final Multiplicity mult = multFormula.multiplicity();


    switch(mult) {
    case NO   : ret = child.none(); break;
    case SOME  : ret = child.some(); break;
    case ONE   : ret = child.one();  break;
    case LONE   : ret = child.lone(); break;
    default : 
      throw new IllegalArgumentException("Unknown multiplicity: " + mult);
    }

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.