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

  Synopsis    [Enables realignment of ZDD order to BDD order.]

  Description [Enables realignment of the ZDD variable order to the
  BDD variable order after the BDDs and ADDs have been reordered.  The
  number of ZDD variables must be a multiple of the number of BDD
  variables for realignment to make sense. If this condition is not met,
  Cudd_ReduceHeap will return 0. Let <code>M</code> be the
  ratio of the two numbers. For the purpose of realignment, the ZDD
  variables from <code>M*i</code> to <code>(M+1)*i-1</code> are
  reagarded as corresponding to BDD variable <code>i</code>. Realignment
  is initially disabled.]

  SideEffects [None]

  SeeAlso     [Cudd_ReduceHeap Cudd_zddRealignDisable
  Cudd_zddRealignmentEnabled Cudd_bddRealignDisable
  Cudd_bddRealignmentEnabled]

******************************************************************************/
Function
Synopsis    [Enables realignment of ZDD order to BDD order.]

Description [Enables realignment of the ZDD variable order to the
BDD variable order after the BDDs and ADDs have been reordered.  The
number of ZDD variables must be a multiple of the number of BDD
variables for realignment to make sense. If this condition is not met,
Cudd_ReduceHeap will return 0. Let M be the
ratio of the two numbers. For the purpose of realignment, the ZDD
variables from M*i to (M+1)*i-1 are
reagarded as corresponding to BDD variable i. Realignment
is initially disabled.]




Function Synopsis [ Enables realignment of ZDD order to BDD order . ] Description [ Enables realignment of the ZDD variable order to the BDD variable order after the BDDs and ADDs have been reordered . The number of ZDD variables must be a multiple of the number of BDD variables for realignment to make sense . If this condition is not met Cudd_ReduceHeap will return 0 . Let M be the ratio of the two numbers . For the purpose of realignment the ZDD variables from M * i to ( M + 1 ) * i - 1 are reagarded as corresponding to BDD variable i . Realignment is initially disabled . ]
void
Cudd_zddRealignEnable(
  DdManager * unique)
{
    unique->realign = 1;
    return;
}
void Cudd_zddRealignEnable ( DdManager * unique ) { unique -> realign = 1 ; return ; }
Function
Synopsis    [Enables realignment of ZDD order to BDD order.]
Function Synopsis [ Enables realignment of ZDD order to BDD order . ]