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

  Synopsis    [Sets the number of crossovers used by the
  genetic algorithm for reordering.]

  Description [Sets the number of crossovers used by the genetic
  algorithm for variable reordering. A larger number of crossovers
  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 number
  of crossovers, with a maximum of 60.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadNumberXovers]

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

Description [Sets the number of crossovers used by the genetic
algorithm for variable reordering. A larger number of crossovers
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 number
of crossovers, with a maximum of 60.]




Function Synopsis [ Sets the number of crossovers used by the genetic algorithm for reordering . ] Description [ Sets the number of crossovers used by the genetic algorithm for variable reordering . A larger number of crossovers 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 number of crossovers with a maximum of 60 . ]
void
Cudd_SetNumberXovers(
  DdManager * dd,
  int  numberXovers)
{
    dd->numberXovers = numberXovers;
}
void Cudd_SetNumberXovers ( DdManager * dd , int numberXovers ) { dd -> numberXovers = numberXovers ; }
Function
Synopsis    [Sets the number of crossovers used by the
genetic algorithm for reordering.]
Function Synopsis [ Sets the number of crossovers used by the genetic algorithm for reordering . ]