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

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

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

  SideEffects [None]

  SeeAlso     [Cudd_bddRealignEnable Cudd_bddRealignDisable
  Cudd_zddRealignEnable Cudd_zddRealignDisable]

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

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




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