abc/src/bdd/cudd/cuddAPI.c
void
Cudd_bddRealignEnable(
  DdManager * unique)
{
    unique->realignZ = 1;
    return;

}
/**Function********************************************************************

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

  Description [Enables realignment of the BDD variable order to the
  ZDD variable order after the ZDDs 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_zddReduceHeap 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_zddReduceHeap Cudd_bddRealignDisable
  Cudd_bddRealignmentEnabled Cudd_zddRealignDisable
  Cudd_zddRealignmentEnabled]

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

Description [Enables realignment of the BDD variable order to the
ZDD variable order after the ZDDs 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_zddReduceHeap 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 BDD order to ZDD order . ] Description [ Enables realignment of the BDD variable order to the ZDD variable order after the ZDDs 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_zddReduceHeap 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_bddRealignEnable(
  DdManager * unique)
{
    unique->realignZ = 1;
    return;
}
void Cudd_bddRealignEnable ( DdManager * unique ) { unique -> realignZ = 1 ; return ; }
Function
Synopsis    [Enables realignment of BDD order to ZDD order.]
Function Synopsis [ Enables realignment of BDD order to ZDD order . ]