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

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

  Description [Sets the 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 [Changes the manager.]

  SeeAlso     [Cudd_ReadPopulationSize]

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

Description [Sets the 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 [Changes the manager.]


Function Synopsis [ Sets the size of the population used by the genetic algorithm for reordering . ] Description [ Sets the 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 [ Changes the manager . ]
void
Cudd_SetPopulationSize(
  DdManager * dd,
  int  populationSize)
{
    dd->populationSize = populationSize;
}
void Cudd_SetPopulationSize ( DdManager * dd , int populationSize ) { dd -> populationSize = populationSize ; }
Function
Synopsis    [Sets the size of the population used by the
genetic algorithm for reordering.]
Function Synopsis [ Sets the size of the population used by the genetic algorithm for reordering . ]