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

  Synopsis    [Reports the status of automatic dynamic reordering of ZDDs.]

  Description [Reports the status of automatic dynamic reordering of
  ZDDs. Parameter method is set to the ZDD reordering method currently
  selected. Returns 1 if automatic reordering is enabled; 0
  otherwise.]

  SideEffects [Parameter method is set to the ZDD reordering method currently
  selected.]

  SeeAlso     [Cudd_AutodynEnableZdd Cudd_AutodynDisableZdd
  Cudd_ReorderingStatus]

******************************************************************************/
Function
Synopsis    [Reports the status of automatic dynamic reordering of ZDDs.]

Description [Reports the status of automatic dynamic reordering of
ZDDs. Parameter method is set to the ZDD reordering method currently
selected. Returns 1 if automatic reordering is enabled; 0
otherwise.]

SideEffects [Parameter method is set to the ZDD reordering method currently
selected.]


Function Synopsis [ Reports the status of automatic dynamic reordering of ZDDs . ] Description [ Reports the status of automatic dynamic reordering of ZDDs . Parameter method is set to the ZDD reordering method currently selected . Returns 1 if automatic reordering is enabled ; 0 otherwise . ] SideEffects [ Parameter method is set to the ZDD reordering method currently selected . ]
int
Cudd_ReorderingStatusZdd(
  DdManager * unique,
  Cudd_ReorderingType * method)
{
    *method = unique->autoMethodZ;
    return(unique->autoDynZ);
}
int Cudd_ReorderingStatusZdd ( DdManager * unique , Cudd_ReorderingType * method ) { * method = unique -> autoMethodZ ; return ( unique -> autoDynZ ) ; }
Function
Synopsis    [Reports the status of automatic dynamic reordering of ZDDs.]
Function Synopsis [ Reports the status of automatic dynamic reordering of ZDDs . ]