cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Miscellaneous information. More...
Data Fields | |
int | popsize |
int | numvars |
int * | storedd |
storedd stores the population orders and sizes. More... | |
st_table * | computed |
int * | repeat |
int | large |
int | result |
int | cross |
Miscellaneous information.
st_table* GeneticInfo::computed |
hash table to identify existing orders
int GeneticInfo::cross |
the number of crossovers to perform
int GeneticInfo::large |
stores the index of the population with the largest number of nodes in the DD
int GeneticInfo::numvars |
the number of variables to be ordered.
int GeneticInfo::popsize |
the size of the population
int* GeneticInfo::repeat |
how many times an order is present
int GeneticInfo::result |
result
int* GeneticInfo::storedd |
storedd stores the population orders and sizes.
This table has two extra rows and one extras column. The two extra rows are used for the offspring produced by a crossover. Each row stores one order and its size. The order is stored by storing the indices of variables in the order in which they appear in the order. The table is in reality a one-dimensional array which is accessed via a macro to give the illusion it is a two-dimensional structure.