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

  Synopsis    [Sets a corresponding pair index for a given index.]

  Description [Sets a corresponding pair index for a given index.
  These pair indices are present and next state variable.  Returns 1 if
  successful; 0 otherwise.]

  SideEffects [modifies the manager]

  SeeAlso     [Cudd_bddReadPairIndex]

******************************************************************************/
Function
Synopsis    [Sets a corresponding pair index for a given index.]

Description [Sets a corresponding pair index for a given index.
These pair indices are present and next state variable.  Returns 1 if
successful; 0 otherwise.]

SideEffects [modifies the manager]


Function Synopsis [ Sets a corresponding pair index for a given index . ] Description [ Sets a corresponding pair index for a given index . These pair indices are present and next state variable . Returns 1 if successful ; 0 otherwise . ] SideEffects [ modifies the manager ]
int
Cudd_bddSetPairIndex(
  DdManager *dd ,
  int index ,
  int pairIndex )
{
    if (index >= dd->size || index < 0) return(0);
    dd->subtables[dd->perm[index]].pairIndex = pairIndex;
    return(1);
}
int Cudd_bddSetPairIndex ( DdManager * dd , int index , int pairIndex ) { if ( index >= dd -> size || index < 0 ) return ( 0 ) ; dd -> subtables [ dd -> perm [ index ] ] . pairIndex = pairIndex ; return ( 1 ) ; }
Function
Synopsis    [Sets a corresponding pair index for a given index.]
Function Synopsis [ Sets a corresponding pair index for a given index . ]
/* manager */ /* variable index */ /* corresponding variable index */