abc/src/bdd/extrab/extraBddSymm.c
/**Function********************************************************************

  Synopsis    [Computes the classical symmetry information for the function.]

  Description [Returns the symmetry information in the form of Extra_SymmInfo_t structure.]

  SideEffects [If the ZDD variables are not derived from BDD variables with
  multiplicity 2, this function may derive them in a wrong way.]

  SeeAlso     []

******************************************************************************/
Function
Synopsis    [Computes the classical symmetry information for the function.]

Description [Returns the symmetry information in the form of Extra_SymmInfo_t structure.]

SideEffects [If the ZDD variables are not derived from BDD variables with
multiplicity 2, this function may derive them in a wrong way.]


Function Synopsis [ Computes the classical symmetry information for the function . ] Description [ Returns the symmetry information in the form of Extra_SymmInfo_t structure . ] SideEffects [ If the ZDD variables are not derived from BDD variables with multiplicity 2 this function may derive them in a wrong way . ]
Extra_SymmInfo_t * Extra_SymmPairsCompute( 
  DdManager * dd,   
  DdNode * bFunc)   
{
    DdNode * bSupp;
    DdNode * zRes;
    Extra_SymmInfo_t * p;
    bSupp = Cudd_Support( dd, bFunc );                      Cudd_Ref( bSupp );
    zRes  = Extra_zddSymmPairsCompute( dd, bFunc, bSupp );  Cudd_Ref( zRes );
    p = Extra_SymmPairsCreateFromZdd( dd, zRes, bSupp );
    Cudd_RecursiveDeref( dd, bSupp );
    Cudd_RecursiveDerefZdd( dd, zRes );
    return p;
}
Extra_SymmInfo_t * Extra_SymmPairsCompute ( DdManager * dd , DdNode * bFunc ) { DdNode * bSupp ; DdNode * zRes ; Extra_SymmInfo_t * p ; bSupp = Cudd_Support ( dd , bFunc ) ; Cudd_Ref ( bSupp ) ; zRes = Extra_zddSymmPairsCompute ( dd , bFunc , bSupp ) ; Cudd_Ref ( zRes ) ; p = Extra_SymmPairsCreateFromZdd ( dd , zRes , bSupp ) ; Cudd_RecursiveDeref ( dd , bSupp ) ; Cudd_RecursiveDerefZdd ( dd , zRes ) ; return p ; }
Function
Synopsis    [Computes the classical symmetry information for the function.]
Function Synopsis [ Computes the classical symmetry information for the function . ]
/* the manager */ /* the function whose symmetries are computed */