BDDFactory.LoadHash (com.github.javabdd 4.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 Details
- LoadHash
  
  protected LoadHash()