Fixed a typo in variable names.

5 files changed, 24 insertions, 24 deletions

diff --git a/src/map/amap/amapParse.c b/src/map/amap/amapParse.c
index 6d8b7520..f02cd6cc 100644
--- a/src/map/amap/amapParse.c
+++ b/src/map/amap/amapParse.c
@@ -30,8 +30,8 @@ ABC_NAMESPACE_IMPL_START
 ////////////////////////////////////////////////////////////////////////
 
 // the list of operation symbols to be used in expressions
-#define AMAP_EQN_SYM_OPEN    '('   // opening paranthesis
-#define AMAP_EQN_SYM_CLOSE   ')'   // closing paranthesis
+#define AMAP_EQN_SYM_OPEN    '('   // opening parenthesis
+#define AMAP_EQN_SYM_CLOSE   ')'   // closing parenthesis
 #define AMAP_EQN_SYM_CONST0  '0'   // constant 0
 #define AMAP_EQN_SYM_CONST1  '1'   // constant 1
 #define AMAP_EQN_SYM_NEG     '!'   // negation before the variable
@@ -47,7 +47,7 @@ ABC_NAMESPACE_IMPL_START
 #define AMAP_EQN_OPER_AND     9    // logic AND
 #define AMAP_EQN_OPER_XOR     8    // logic XOR
 #define AMAP_EQN_OPER_OR      7    // logic OR
-#define AMAP_EQN_OPER_MARK    1    // OpStack token standing for an opening paranthesis
+#define AMAP_EQN_OPER_MARK    1    // OpStack token standing for an opening parenthesis
 
 // these are values of the internal Flag
 #define AMAP_EQN_FLAG_START   1    // after the opening parenthesis 
@@ -114,7 +114,7 @@ Hop_Obj_t * Amap_ParseFormula( FILE * pOutput, char * pFormInit, Vec_Ptr_t * vVa
     int Oper, Oper1, Oper2;
     int i, v;
 
-    // make sure that the number of opening and closing parantheses is the same
+    // make sure that the number of opening and closing parentheses is the same
     nParans = 0;
     for ( pTemp = pFormInit; *pTemp; pTemp++ )
         if ( *pTemp == '(' )
@@ -123,7 +123,7 @@ Hop_Obj_t * Amap_ParseFormula( FILE * pOutput, char * pFormInit, Vec_Ptr_t * vVa
             nParans--;
     if ( nParans != 0 )
     {
-        fprintf( pOutput, "Amap_ParseFormula(): Different number of opening and closing parantheses ().\n" );
+        fprintf( pOutput, "Amap_ParseFormula(): Different number of opening and closing parentheses ().\n" );
         return NULL;
     }
 
@@ -207,7 +207,7 @@ Hop_Obj_t * Amap_ParseFormula( FILE * pOutput, char * pFormInit, Vec_Ptr_t * vVa
             if ( Flag == AMAP_EQN_FLAG_VAR )
             {
                 Vec_IntPush( pStackOp, AMAP_EQN_OPER_AND );
-//                fprintf( pOutput, "Amap_ParseFormula(): An opening paranthesis follows a var without operation sign.\n" ); 
+//                fprintf( pOutput, "Amap_ParseFormula(): An opening parenthesis follows a var without operation sign.\n" ); 
 //                Flag = AMAP_EQN_FLAG_ERROR; 
 //              break; 
             }
@@ -222,7 +222,7 @@ Hop_Obj_t * Amap_ParseFormula( FILE * pOutput, char * pFormInit, Vec_Ptr_t * vVa
                 {
                     if ( Vec_IntSize( pStackOp ) == 0 )
                     {
-                        fprintf( pOutput, "Amap_ParseFormula(): There is no opening paranthesis\n" );
+                        fprintf( pOutput, "Amap_ParseFormula(): There is no opening parenthesis\n" );
                         Flag = AMAP_EQN_FLAG_ERROR; 
                         break;
                     }
@@ -243,7 +243,7 @@ Hop_Obj_t * Amap_ParseFormula( FILE * pOutput, char * pFormInit, Vec_Ptr_t * vVa
             }
             else
             {
-                fprintf( pOutput, "Amap_ParseFormula(): There is no opening paranthesis\n" );
+                fprintf( pOutput, "Amap_ParseFormula(): There is no opening parenthesis\n" );
                 Flag = AMAP_EQN_FLAG_ERROR; 
                 break;
             }
@@ -262,7 +262,7 @@ Hop_Obj_t * Amap_ParseFormula( FILE * pOutput, char * pFormInit, Vec_Ptr_t * vVa
               {
                     if ( pTemp[i] == AMAP_EQN_SYM_NEG || pTemp[i] == AMAP_EQN_SYM_OPEN )
                     {
-                        fprintf( pOutput, "Amap_ParseFormula(): The negation sign or an opening paranthesis inside the variable name.\n" );
+                        fprintf( pOutput, "Amap_ParseFormula(): The negation sign or an opening parenthesis inside the variable name.\n" );
                         Flag = AMAP_EQN_FLAG_ERROR; 
                         break;
                     }
diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c
index 1f5b13c8..8b7e9d1c 100644
--- a/src/map/if/ifTune.c
+++ b/src/map/if/ifTune.c
@@ -233,7 +233,7 @@ int Ifn_ManStrCheck( char * pStr, int * pnInps, int * pnObjs )
     *pnObjs = MaxVar + 1 + nNodes;
     return 1;
 }
-static inline char * Ifn_NtkParseFindClosingParanthesis( char * pStr, char Open, char Close )
+static inline char * Ifn_NtkParseFindClosingParenthesis( char * pStr, char Open, char Close )
 {
     int Counter = 0;
     assert( *pStr == Open );
@@ -253,7 +253,7 @@ int Ifn_NtkParseInt_rec( char * pStr, Ifn_Ntk_t * p, char ** ppFinal, int * piNo
     Ifn_Obj_t * pObj;
     int nFanins = 0, pFanins[IFN_INS];
     int Type = Inf_ManOpenSymb( pStr );
-    char * pLim = Ifn_NtkParseFindClosingParanthesis( pStr++, Ifn_Symbs[Type][0], Ifn_Symbs[Type][1] );
+    char * pLim = Ifn_NtkParseFindClosingParenthesis( pStr++, Ifn_Symbs[Type][0], Ifn_Symbs[Type][1] );
     *ppFinal = NULL;
     if ( pLim == NULL )
         return Ifn_ErrorMessage( "For symbol \'%c\' cannot find matching symbol \'%c\'.\n", Ifn_Symbs[Type][0], Ifn_Symbs[Type][1] );
diff --git a/src/map/mapper/mapperSuper.c b/src/map/mapper/mapperSuper.c
index 9382575a..0c33d580 100644
--- a/src/map/mapper/mapperSuper.c
+++ b/src/map/mapper/mapperSuper.c
@@ -149,7 +149,7 @@ int Map_LibraryReadFile( Map_SuperLib_t * pLib, FILE * pFile )
         // get the gate
         pGate = Map_LibraryReadGate( pLib, pTemp, pLib->nVarsMax );
         assert( pGate->Num == nCounter + 1 );
-        // count the number of parantheses in the formula - this is the number of gates
+        // count the number of parentheses in the formula - this is the number of gates
         for ( pTemp = pGate->pFormula; *pTemp; pTemp++ )
             pGate->nGates += (*pTemp == '(');
         // verify the truth table
@@ -261,7 +261,7 @@ char * Map_LibraryReadFormulaStep( char * pFormula, char * pStrings[], int * pnS
     // skip leading spaces
     for ( pName = pFormula; *pName && *pName == ' '; pName++ );
     assert( *pName );
-    // find the first opening paranthesis
+    // find the first opening parenthesis
     for ( pPar1 = pName; *pPar1 && *pPar1 != '('; pPar1++ );
     if ( *pPar1 == 0 )
     {
@@ -271,7 +271,7 @@ char * Map_LibraryReadFormulaStep( char * pFormula, char * pStrings[], int * pnS
     // overwrite it with space
     assert( *pPar1 == '(' );
     *pPar1 = 0;
-    // find the corresponding closing paranthesis
+    // find the corresponding closing parenthesis
     for ( CountPars = 1, pPar2 = pPar1 + 1; *pPar2 && CountPars; pPar2++ )
         if ( *pPar2 == '(' )
             CountPars++;
diff --git a/src/map/mio/mioParse.c b/src/map/mio/mioParse.c
index 6d7740a2..eb9cddc0 100644
--- a/src/map/mio/mioParse.c
+++ b/src/map/mio/mioParse.c
@@ -27,8 +27,8 @@ ABC_NAMESPACE_IMPL_START
 ////////////////////////////////////////////////////////////////////////
 
 // the list of operation symbols to be used in expressions
-#define MIO_EQN_SYM_OPEN    '('   // opening paranthesis
-#define MIO_EQN_SYM_CLOSE   ')'   // closing paranthesis
+#define MIO_EQN_SYM_OPEN    '('   // opening parenthesis
+#define MIO_EQN_SYM_CLOSE   ')'   // closing parenthesis
 #define MIO_EQN_SYM_CONST0  '0'   // constant 0
 #define MIO_EQN_SYM_CONST1  '1'   // constant 1
 #define MIO_EQN_SYM_NEG     '!'   // negation before the variable
@@ -44,7 +44,7 @@ ABC_NAMESPACE_IMPL_START
 #define MIO_EQN_OPER_AND     9    // logic AND
 #define MIO_EQN_OPER_XOR     8    // logic XOR
 #define MIO_EQN_OPER_OR      7    // logic OR
-#define MIO_EQN_OPER_MARK    1    // OpStack token standing for an opening paranthesis
+#define MIO_EQN_OPER_MARK    1    // OpStack token standing for an opening parenthesis
 
 // these are values of the internal Flag
 #define MIO_EQN_FLAG_START   1    // after the opening parenthesis 
@@ -114,7 +114,7 @@ Vec_Int_t * Mio_ParseFormula( char * pFormInit, char ** ppVarNames, int nVars )
     int Oper, Oper1, Oper2;
     int i, v;
 
-    // make sure that the number of opening and closing parantheses is the same
+    // make sure that the number of opening and closing parentheses is the same
     nParans = 0;
     for ( pTemp = pFormInit; *pTemp; pTemp++ )
         if ( *pTemp == '(' )
@@ -123,7 +123,7 @@ Vec_Int_t * Mio_ParseFormula( char * pFormInit, char ** ppVarNames, int nVars )
             nParans--;
     if ( nParans != 0 )
     {
-        fprintf( stdout, "Mio_ParseFormula(): Different number of opening and closing parantheses ().\n" );
+        fprintf( stdout, "Mio_ParseFormula(): Different number of opening and closing parentheses ().\n" );
         return NULL;
     }
 
@@ -207,7 +207,7 @@ Vec_Int_t * Mio_ParseFormula( char * pFormInit, char ** ppVarNames, int nVars )
             if ( Flag == MIO_EQN_FLAG_VAR )
             {
                 Vec_IntPush( pStackOp, MIO_EQN_OPER_AND );
-//                fprintf( stdout, "Mio_ParseFormula(): An opening paranthesis follows a var without operation sign.\n" ); 
+//                fprintf( stdout, "Mio_ParseFormula(): An opening parenthesis follows a var without operation sign.\n" ); 
 //                Flag = MIO_EQN_FLAG_ERROR; 
 //              break; 
             }
@@ -222,7 +222,7 @@ Vec_Int_t * Mio_ParseFormula( char * pFormInit, char ** ppVarNames, int nVars )
                 {
                     if ( Vec_IntSize( pStackOp ) == 0 )
                     {
-                        fprintf( stdout, "Mio_ParseFormula(): There is no opening paranthesis\n" );
+                        fprintf( stdout, "Mio_ParseFormula(): There is no opening parenthesis\n" );
                         Flag = MIO_EQN_FLAG_ERROR; 
                         break;
                     }
@@ -243,7 +243,7 @@ Vec_Int_t * Mio_ParseFormula( char * pFormInit, char ** ppVarNames, int nVars )
             }
             else
             {
-                fprintf( stdout, "Mio_ParseFormula(): There is no opening paranthesis\n" );
+                fprintf( stdout, "Mio_ParseFormula(): There is no opening parenthesis\n" );
                 Flag = MIO_EQN_FLAG_ERROR; 
                 break;
             }
@@ -262,7 +262,7 @@ Vec_Int_t * Mio_ParseFormula( char * pFormInit, char ** ppVarNames, int nVars )
               {
                     if ( pTemp[i] == MIO_EQN_SYM_NEG || pTemp[i] == MIO_EQN_SYM_OPEN )
                     {
-                        fprintf( stdout, "Mio_ParseFormula(): The negation sign or an opening paranthesis inside the variable name.\n" );
+                        fprintf( stdout, "Mio_ParseFormula(): The negation sign or an opening parenthesis inside the variable name.\n" );
                         Flag = MIO_EQN_FLAG_ERROR; 
                         break;
                     }
diff --git a/src/map/super/superWrite.c b/src/map/super/superWrite.c
index b8d14837..841a465c 100644
--- a/src/map/super/superWrite.c
+++ b/src/map/super/superWrite.c
@@ -35,7 +35,7 @@ ABC_NAMESPACE_IMPL_START
         GATENAME1( GATENAME2( a, c ), GATENAME3( a, d ), ... )
         The gate names (GATENAME1, etc) are the names as they appear in the .genlib library.
         The primary inputs of the gates are denoted by lowercase chars 'a', 'b', etc.
-        The parantheses are mandatory for each gate, except for the wire. 
+        The parentheses are mandatory for each gate, except for the wire. 
         The wire name can be omitted, so that "a" can be used instead of "**wire**( a )".
         The spaces are optional in any position of this string.