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

kodkod.engine.bool.BooleanMatrix.override()

Overrides the values in this matrix with those in other. Specifically, for each index i of the returned matrix m, m.elements[i] is true iff other.elements[i] is true or this.elements[i] is true and all elements of other that are in the same row as i are false. @return {m: BooleanMatrix | m.dimensions = this.dimensions &&all i: [0..m.capacity()) | m.elements[i] = other.elements[i] || this.elements[i] && !OR(other.elements[row(i)]) } where other.elements[row(i)] selects all elements of other that are in the same row as i. @throws NullPointerException - other = null @throws IllegalArgumentException - other.dimensions != this.dimensions

    for(int i = 0; i < rest.length; i++) {   rest[i] = expr.child(i+1).accept(this); }
    
    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);
    }

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.