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

  Synopsis    [Reports the status of automatic dynamic reordering of BDDs
  and ADDs.]

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

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

  SeeAlso     [Cudd_AutodynEnable Cudd_AutodynDisable
  Cudd_ReorderingStatusZdd]

******************************************************************************/
Function
Synopsis    [Reports the status of automatic dynamic reordering of BDDs
and ADDs.]

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

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


Function Synopsis [ Reports the status of automatic dynamic reordering of BDDs and ADDs . ] Description [ Reports the status of automatic dynamic reordering of BDDs and ADDs . Parameter method is set to the reordering method currently selected . Returns 1 if automatic reordering is enabled ; 0 otherwise . ] SideEffects [ Parameter method is set to the reordering method currently selected . ]
int
Cudd_ReorderingStatus(
  DdManager * unique,
  Cudd_ReorderingType * method)
{
    *method = unique->autoMethod;
    return(unique->autoDyn);
}
int Cudd_ReorderingStatus ( DdManager * unique , Cudd_ReorderingType * method ) { * method = unique -> autoMethod ; return ( unique -> autoDyn ) ; }
Function
Synopsis    [Reports the status of automatic dynamic reordering of BDDs
and ADDs.]
Function Synopsis [ Reports the status of automatic dynamic reordering of BDDs and ADDs . ]