diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-01 01:35:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-01 01:35:04 -0700 |
| commit | 6130e39b18b5f53902e4eab14f6d5cdde5219563 (patch) | |
| tree | 0db0628479a1b750e9af1f66cb8379ebd0913d31 /src/bdd/cas/casCore.c | |
| parent | f0e77f6797c0504b0da25a56152b707d3357f386 (diff) | |
| download | abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.tar.gz abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.tar.bz2 abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.zip | |
initial commit of public abc
Diffstat (limited to 'src/bdd/cas/casCore.c')
| -rw-r--r-- | src/bdd/cas/casCore.c | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/src/bdd/cas/casCore.c b/src/bdd/cas/casCore.c index 4010235c..5511b8e7 100644 --- a/src/bdd/cas/casCore.c +++ b/src/bdd/cas/casCore.c @@ -23,9 +23,14 @@ #include <string.h> #include <time.h> +#include "main.h" +#include "cmd.h" #include "extra.h" #include "cas.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// static functions /// //////////////////////////////////////////////////////////////////////// @@ -254,8 +259,6 @@ int Abc_CascadeExperiment( char * pFileGeneric, DdManager * dd, DdNode ** pOutpu // verify the results if ( fCheck ) { - extern int Cmd_CommandExecute( void * pAbc, char * sCommand ); - extern void * Abc_FrameGetGlobalFrame(); char Command[200]; sprintf( Command, "cec %s %s", FileNameIni, FileNameFin ); Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command ); @@ -845,7 +848,7 @@ void WriteDDintoBLIFfile( FILE * pFile, DdNode * Func, char * OutputName, char * refAddr = ( long )Cudd_Regular(Func); diff = 0; gen = st_init_gen( visited ); - while ( st_gen( gen, ( char ** ) &Node, NULL ) ) + while ( st_gen( gen, ( const char ** ) &Node, NULL ) ) { diff |= refAddr ^ ( long ) Node; } @@ -867,7 +870,7 @@ void WriteDDintoBLIFfile( FILE * pFile, DdNode * Func, char * OutputName, char * gen = st_init_gen( visited ); - while ( st_gen( gen, ( char ** ) &Node, NULL ) ) + while ( st_gen( gen, ( const char ** ) &Node, NULL ) ) { if ( Node->index == CUDD_MAXINDEX ) { @@ -990,7 +993,7 @@ void WriteDDintoBLIFfileReorder( DdManager * dd, FILE * pFile, DdNode * Func, ch refAddr = ( long )Cudd_Regular(bFmin); diff = 0; gen = st_init_gen( visited ); - while ( st_gen( gen, ( char ** ) &Node, NULL ) ) + while ( st_gen( gen, ( const char ** ) &Node, NULL ) ) { diff |= refAddr ^ ( long ) Node; } @@ -1012,7 +1015,7 @@ void WriteDDintoBLIFfileReorder( DdManager * dd, FILE * pFile, DdNode * Func, ch gen = st_init_gen( visited ); - while ( st_gen( gen, ( char ** ) &Node, NULL ) ) + while ( st_gen( gen, ( const char ** ) &Node, NULL ) ) { if ( Node->index == CUDD_MAXINDEX ) { @@ -1143,7 +1146,7 @@ cuddBddTransferPermute( DdManager * ddS, DdManager * ddD, DdNode * f, int * Perm gen = st_init_gen( table ); if ( gen == NULL ) goto failure; - while ( st_gen( gen, ( char ** ) &key, ( char ** ) &value ) ) + while ( st_gen( gen, ( const char ** ) &key, ( char ** ) &value ) ) { Cudd_RecursiveDeref( ddD, value ); } @@ -1259,3 +1262,5 @@ cuddBddTransferPermuteRecur( DdManager * ddS, +ABC_NAMESPACE_IMPL_END + |