net.sf.javabdd
Class BDDFactory.BDDOp

java.lang.Object
  extended by net.sf.javabdd.BDDFactory.BDDOp
Enclosing class:
BDDFactory

public static class BDDFactory.BDDOp
extends java.lang.Object

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


Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object