Uses of Class
com.github.javabdd.BDDFactory.LoadHash

Uses of BDDFactory.LoadHash in com.github.javabdd

Methods in com.github.javabdd with parameters of type BDDFactory.LoadHash

Modifier and Type	Method	Description
protected BDD	BDDFactory.loadhash_get(BDDFactory.LoadHash[] lh_table, int lh_nodenum, int key)	Gets a BDD from the load hash table.