diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-11-02 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-11-02 08:01:00 -0800 |
| commit | faf1265bb82f934cc14b6106ccce89e37203efbd (patch) | |
| tree | f6d69ce4adca5d7e1fdccd3e9848220d6744405d /src/temp/aig/cudd2.c | |
| parent | 73bb7932f7edad95086d67a795444537c438309e (diff) | |
| download | abc-faf1265bb82f934cc14b6106ccce89e37203efbd.tar.gz abc-faf1265bb82f934cc14b6106ccce89e37203efbd.tar.bz2 abc-faf1265bb82f934cc14b6106ccce89e37203efbd.zip | |
Version abc61102
Diffstat (limited to 'src/temp/aig/cudd2.c')
| -rw-r--r-- | src/temp/aig/cudd2.c | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/src/temp/aig/cudd2.c b/src/temp/aig/cudd2.c index 95663420..3cc38260 100644 --- a/src/temp/aig/cudd2.c +++ b/src/temp/aig/cudd2.c @@ -53,7 +53,9 @@ static Aig_CuddMan_t * s_pCuddMan = NULL; void Cudd2_Init( unsigned int numVars, unsigned int numVarsZ, unsigned int numSlots, unsigned int cacheSize, unsigned long maxMemory, void * pCudd ) { int v; - assert( s_pCuddMan == NULL ); + // start the BDD-to-AIG manager when the first BDD manager is allocated + if ( s_pCuddMan != NULL ) + return; s_pCuddMan = ALLOC( Aig_CuddMan_t, 1 ); s_pCuddMan->pAig = Aig_ManStart(); s_pCuddMan->pTable = st_init_table( st_ptrcmp, st_ptrhash ); @@ -127,6 +129,22 @@ static void Cudd2_SetArg( Aig_Obj_t * pNode, void * pResult ) /**Function************************************************************* + Synopsis [Registers constant 1 node.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Cudd2_bddOne( void * pCudd, void * pResult ) +{ + Cudd2_SetArg( Aig_ManConst1(s_pCuddMan->pAig), pResult ); +} + +/**Function************************************************************* + Synopsis [Adds elementary variable.] Description [] |