net.sf.javabdd
Class BDDFactory.LoadHash

java.lang.Object
  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()