Uses of Class
net.sf.javabdd.BDDFactory.LoadHash

Uses of BDDFactory.LoadHash in net.sf.javabdd
 

Methods in net.sf.javabdd with parameters of type BDDFactory.LoadHash
protected  BDD BDDFactory.loadhash_get(BDDFactory.LoadHash[] lh_table, int lh_nodenum, int key)
          Gets a BDD from the load hash table.
 



Copyright © 2003-2007 John Whaley. All Rights Reserved.