List of lone() Examples

Examples of lone()

kodkod.ast.Expression.lone()
Returns the formula 'lone this'. The effect of this method is the same as calling this.apply(LONE). @return this.apply(LONE)
kodkod.engine.bool.BooleanMatrix.lone()
Returns a BooleanValue that constrains at most one value in this.elements to be true. The effect of this method is the same as calling this.factory.or(this.one(), this.none()). @return { f: BooleanValue | f <=> this.one() || this.none() }

Examples of kodkod.ast.Expression.lone()


    /** Helper method that returns the constraint that the sig has exactly "n" elements, or at most "n" elements */
    private Formula size(Sig sig, int n, boolean exact) {
        Expression a = sol.a2k(sig);
        if (n<=0) return a.no();
        if (n==1) return exact ? a.one() : a.lone();
        Formula f = exact ? Formula.TRUE : null;
        Decls d = null;
        Expression sum = null;
        while(n>0) {
           n--;

View Full Code Here

Examples of kodkod.ast.Expression.lone()

                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");
            }
            else if (sc.isExact(s)) {

View Full Code Here

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


    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);
    }


    return cache(multFormula, ret);

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.