net.sf.javabdd
Class JTLVJavaFactory.JTLVIntBDD

java.lang.Object
  extended by net.sf.javabdd.BDD
      extended by net.sf.javabdd.BDDFactoryIntImpl.IntBDD
          extended by net.sf.javabdd.JTLVJavaFactory.JTLVIntBDD
Direct Known Subclasses:
JTLVJavaFactory.JTLVIntBDDWithFinalizer
Enclosing class:
JTLVJavaFactory

public class JTLVJavaFactory.JTLVIntBDD
extends BDDFactoryIntImpl.IntBDD


Nested Class Summary
 
Nested classes/interfaces inherited from class net.sf.javabdd.BDD
BDD.AllSatIterator, BDD.BDDIterator, BDD.BDDToString
 
Method Summary
 java.lang.String toString()
           
 java.lang.String toString(Module context)
           
 
Methods inherited from class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
apply, applyAll, applyEx, applyUni, applyWith, compose, constrain, equals, exist, forAll, free, fullSatOne, getFactory, hashCode, high, id, isOne, isUniverse, isZero, ite, level, low, nodeCount, not, pathCount, replace, replaceWith, restrict, restrictWith, satCount, satOne, satOne, simplify, support, toVarSet, unique, var, varProfile, veccompose
 
Methods inherited from class net.sf.javabdd.BDD
allsat, and, andWith, biimp, biimpWith, equals, imp, impWith, iterator, logSatCount, logSatCount, or, orWith, printDot, printSet, printSetWithDomains, relprod, satCount, scanAllVar, scanVar, toStringWithDomains, toStringWithDomains, xor, xorWith
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Method Detail

toString

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

toString

public java.lang.String toString(Module context)