Uses of Class com.github.javabdd.BDDFactory.LoadHash (com.github.javabdd 4.0.0 API)

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.