List of loneOf() Examples

Examples of loneOf()

kodkod.ast.Variable.loneOf()
Returns the declaration that constrains this variable to be bound to at most one element of the given expression: 'this: lone expr'. @return {d: Decl | d.variable = this && d.multiplicity = LONE && d.expression = expr } @throws NullPointerException - expr = null @throws IllegalArgumentException - this.arity != expr.arity || expr.arity != 1

Examples of kodkod.ast.Variable.loneOf()

              guards.add(isIn(v, dexexpr));
              newd = v.setOf(dv);
           } else switch(dexexpr.mult()) {
              case SETOF: newd = v.setOf(dv); break;
              case SOMEOF: newd = v.someOf(dv); break;
              case LONEOF: newd = v.loneOf(dv); break;
              default: newd = v.oneOf(dv);
           }
           if (frame!=null) frame.kv2typepos(v, dex.type(), dex.pos);
           if (dd==null) dd = newd; else dd = dd.and(newd);
        }

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.