com.github.javabdd

Class BDDFactory.BDDOp

java.lang.Object

com.github.javabdd.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.

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toString

public String toString()

Overrides:

toString in class Object