diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-12 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-12 08:01:00 -0700 |
| commit | e2619aa120bf8166b70cec3df2740cd748b5b723 (patch) | |
| tree | c4edceba1eed1c1c5a1b0afadfcf259035715973 /src/opt/dec | |
| parent | 77536ad1fd75c6b36f268e3fbbc90860de1b229d (diff) | |
| download | abc-e2619aa120bf8166b70cec3df2740cd748b5b723.tar.gz abc-e2619aa120bf8166b70cec3df2740cd748b5b723.tar.bz2 abc-e2619aa120bf8166b70cec3df2740cd748b5b723.zip | |
Version abc51012
Diffstat (limited to 'src/opt/dec')
| -rw-r--r-- | src/opt/dec/dec.h | 2 | ||||
| -rw-r--r-- | src/opt/dec/decAbc.c | 2 | ||||
| -rw-r--r-- | src/opt/dec/decFactor.c | 2 | ||||
| -rw-r--r-- | src/opt/dec/decMan.c | 2 | ||||
| -rw-r--r-- | src/opt/dec/decPrint.c | 2 | ||||
| -rw-r--r-- | src/opt/dec/decUtil.c | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/src/opt/dec/dec.h b/src/opt/dec/dec.h index 783655fa..b6eb8c92 100644 --- a/src/opt/dec/dec.h +++ b/src/opt/dec/dec.h @@ -110,7 +110,7 @@ extern DdNode * Dec_GraphDeriveBdd( DdManager * dd, Dec_Graph_t * pGraph ) extern unsigned Dec_GraphDeriveTruth( Dec_Graph_t * pGraph ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/dec/decAbc.c b/src/opt/dec/decAbc.c index 62f90889..4d7e6e7a 100644 --- a/src/opt/dec/decAbc.c +++ b/src/opt/dec/decAbc.c @@ -24,7 +24,7 @@ //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/dec/decFactor.c b/src/opt/dec/decFactor.c index ed7e94c8..210b69e5 100644 --- a/src/opt/dec/decFactor.c +++ b/src/opt/dec/decFactor.c @@ -34,7 +34,7 @@ static int Dec_FactorVerify( char * pSop, Dec_Graph_t * pFForm ); static Mvc_Cover_t * Dec_ConvertSopToMvc( char * pSop ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/dec/decMan.c b/src/opt/dec/decMan.c index 1d44d5cb..65857461 100644 --- a/src/opt/dec/decMan.c +++ b/src/opt/dec/decMan.c @@ -25,7 +25,7 @@ //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/dec/decPrint.c b/src/opt/dec/decPrint.c index 6fb20327..b9185509 100644 --- a/src/opt/dec/decPrint.c +++ b/src/opt/dec/decPrint.c @@ -29,7 +29,7 @@ static void Dec_GraphPrintUpdatePos( FILE * pFile, int * pPos, int LitSizeMax static int Dec_GraphPrintOutputName( FILE * pFile, char * pNameOut, int fCompl ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/dec/decUtil.c b/src/opt/dec/decUtil.c index 02c3346e..463bc7e2 100644 --- a/src/opt/dec/decUtil.c +++ b/src/opt/dec/decUtil.c @@ -24,7 +24,7 @@ //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* |