abc/src/bdd/cudd/cuddAPI.c
/**Function********************************************************************

  Synopsis    [Reads the current size of the population used by the
  genetic algorithm for reordering.]

  Description [Reads the current size of the population used by the
  genetic algorithm for variable reordering. A larger population size will
  cause the genetic algorithm to take more time, but will generally
  produce better results. The default value is 0, in which case the
  package uses three times the number of variables as population size,
  with a maximum of 120.]

  SideEffects [None]

  SeeAlso     [Cudd_SetPopulationSize]

******************************************************************************/
Function
Synopsis    [Reads the current size of the population used by the
genetic algorithm for reordering.]

Description [Reads the current size of the population used by the
genetic algorithm for variable reordering. A larger population size will
cause the genetic algorithm to take more time, but will generally
produce better results. The default value is 0, in which case the
package uses three times the number of variables as population size,
with a maximum of 120.]




Function Synopsis [ Reads the current size of the population used by the genetic algorithm for reordering . ] Description [ Reads the current size of the population used by the genetic algorithm for variable reordering . A larger population size will cause the genetic algorithm to take more time but will generally produce better results . The default value is 0 in which case the package uses three times the number of variables as population size with a maximum of 120 . ]
int
Cudd_ReadPopulationSize(
  DdManager * dd)
{
    return(dd->populationSize);
}
int Cudd_ReadPopulationSize ( DdManager * dd ) { return ( dd -> populationSize ) ; }
Function
Synopsis    [Reads the current size of the population used by the
genetic algorithm for reordering.]
Function Synopsis [ Reads the current size of the population used by the genetic algorithm for reordering . ]