BDDFactory.LoadHash (com.github.javabdd 2.0.0 API)

java.lang.Object
- com.github.javabdd.BDDFactory.LoadHash

Enclosing class:

BDDFactory
```
protected static class BDDFactory.LoadHash
extends Object
```
LoadHash is used to hash during loading.

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

- Constructor Detail
  - LoadHash
```
protected LoadHash()
```