abc/src/base/main/mainReal.c
/**Function********************************************************************

  Synopsis    [Returns 1 if s is a file type recognized, else returns 0.]

  Description [Returns 1 if s is a file type recognized by ABC, else returns 0. 
  Recognized types are "blif", "bench", "pla", and "none".]

  SideEffects []

******************************************************************************/
Function
Synopsis    [Returns 1 if s is a file type recognized, else returns 0.]

Description [Returns 1 if s is a file type recognized by ABC, else returns 0.


Function Synopsis [ Returns 1 if s is a file type recognized else returns 0 . ] Description [ Returns 1 if s is a file type recognized by ABC else returns 0 .
static int TypeCheck( Abc_Frame_t * pAbc, const char * s )
{
    if (strcmp(s, "blif") == 0)
        return 1;
    else if (strcmp(s, "bench") == 0)
        return 1;
    else if (strcmp(s, "pla") == 0)
        return 1;
    else if (strcmp(s, "none") == 0)
        return 1;
    else {
        fprintf( pAbc->Err, "unknown type %s\n", s );
        return 0;
    }
}
static int TypeCheck ( Abc_Frame_t * pAbc , const char * s ) { if ( strcmp ( s , " " ) == 0 ) return 1 ; else if ( strcmp ( s , " " ) == 0 ) return 1 ; else if ( strcmp ( s , " " ) == 0 ) return 1 ; else if ( strcmp ( s , " " ) == 0 ) return 1 ; else { fprintf ( pAbc -> Err , " \n " , s ) ; return 0 ; } }
Function
Synopsis    [Returns 1 if s is a file type recognized, else returns 0.]
Function Synopsis [ Returns 1 if s is a file type recognized else returns 0 . ]