Examples of kodkod.ast.Formula.compose()

kodkod.ast.Formula.compose()
Returns the composition of this and the specified formula using the given binary operator. @return {f: Formula | f.left = this and f.right = formula and f.op = op }

    } else {
      left = bf.left().accept(this);
      right = bf.right().accept(this);
    }
    skolemDepth = oldDepth;
    ret = (left==bf.left()&&right==bf.right()) ? bf : left.compose(op, right);
    return source(cache(bf,ret),bf);
  }


  /**
   * If not cached, visits the formula's children with appropriate settings

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.