Class BDDFactory.BDDOp

  • Enclosing class:
    BDDFactory

    public static class BDDFactory.BDDOp
    extends Object
    Enumeration class for binary operations on BDDs. Use the static fields in BDDFactory to access the different binary operations.