net.sf.javabdd
Class BDDFactory.LoadHash

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

protected static class BDDFactory.LoadHash
extends Object

LoadHash is used to hash during loading.


Constructor Summary
protected BDDFactory.LoadHash()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BDDFactory.LoadHash

protected BDDFactory.LoadHash()


Copyright © 2003-2007 John Whaley. All Rights Reserved.