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

  Synopsis    [Tells whether the realignment of ZDD order to BDD order is
  enabled.]

  Description [Returns 1 if the realignment of ZDD order to BDD order is
  enabled; 0 otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_zddRealignEnable Cudd_zddRealignDisable
  Cudd_bddRealignEnable Cudd_bddRealignDisable]

******************************************************************************/
Function
Synopsis    [Tells whether the realignment of ZDD order to BDD order is
enabled.]

Description [Returns 1 if the realignment of ZDD order to BDD order is
enabled; 0 otherwise.]




Function Synopsis [ Tells whether the realignment of ZDD order to BDD order is enabled . ] Description [ Returns 1 if the realignment of ZDD order to BDD order is enabled ; 0 otherwise . ]
int
Cudd_zddRealignmentEnabled(
  DdManager * unique)
{
    return(unique->realign);
}
int Cudd_zddRealignmentEnabled ( DdManager * unique ) { return ( unique -> realign ) ; }
Function
Synopsis    [Tells whether the realignment of ZDD order to BDD order is
enabled.]
Function Synopsis [ Tells whether the realignment of ZDD order to BDD order is enabled . ]