|
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.
1.8.11