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

kodkod.engine.bool.BooleanMatrix.cross()
Returns the cross product of this and other matrix, using conjunction instead of multiplication. @return { m: BooleanMatrix | m = this x other } @throws NullPointerException - other = null @throws IllegalArgumentException - this.factory != other.factory

    
    switch(op) {
    case UNION          : ret = first.or(rest); break;
    case INTERSECTION  : ret = first.and(rest); break;
    case OVERRIDE     : ret = first.override(rest); break;
    case PRODUCT    : ret = first.cross(rest); break;
    default : 
      throw new IllegalArgumentException("Unknown associative operator: " + op);
    }


    return cache(expr, 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.