net.sf.javabdd
Class JTLVJavaFactory.JTLVIntBDD

java.lang.Object
  net.sf.javabdd.BDD
      net.sf.javabdd.BDDFactoryIntImpl.IntBDD
          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)