Examples of kodkod.engine.bool.BooleanMatrix.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() }


    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.