net.sf.javabdd
Class BDDFactory.LoadHash

java.lang.Object
  extended bynet.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()
           
 
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-2004 John Whaley. All Rights Reserved.