com.github.javabdd

Class BDDFactory.LoadHash

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 and 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()