
Go to the source code of this file.
Typedefs | |
| typedef typedefABC_NAMESPACE_HEADER_START struct MvCommand | Abc_Command |
| INCLUDES ///. | |
| typedef struct MvAlias | Abc_Alias |
| typedef int(* | Cmd_CommandFuncType) (Abc_Frame_t *, int, char **) |
Functions | |
| void | Cmd_Init (Abc_Frame_t *pAbc) |
| MACRO DEFINITIONS ///. | |
| void | Cmd_End (Abc_Frame_t *pAbc) |
| int | Cmd_CommandIsDefined (Abc_Frame_t *pAbc, const char *sName) |
| DECLARATIONS ///. | |
| void | Cmd_CommandAdd (Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges) |
| ABC_DLL int | Cmd_CommandExecute (Abc_Frame_t *pAbc, const char *sCommand) |
| char * | Cmd_FlagReadByName (Abc_Frame_t *pAbc, char *flag) |
| DECLARATIONS ///. | |
| void | Cmd_FlagDeleteByName (Abc_Frame_t *pAbc, const char *key) |
| void | Cmd_FlagUpdateValue (Abc_Frame_t *pAbc, const char *key, char *value) |
| void | Cmd_HistoryAddCommand (Abc_Frame_t *pAbc, const char *command) |
| FUNCTION DEFINITIONS ///. | |
| void | Cmd_HistoryRead (Abc_Frame_t *p) |
| void | Cmd_HistoryWrite (Abc_Frame_t *p, int Limit) |
| void | Cmd_HistoryPrint (Abc_Frame_t *p, int Limit) |
| int | CmdCommandLoad (Abc_Frame_t *pAbc, int argc, char **argv) |
| DECLARATIONS ///. | |
| typedef typedefABC_NAMESPACE_HEADER_START struct MvCommand Abc_Command |
INCLUDES ///.
CFile****************************************************************
FileName [cmd.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Command processing package.]
Synopsis [External declarations of the command package.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
] PARAMETERS /// STRUCTURE DEFINITIONS ///
| typedef int(* Cmd_CommandFuncType) (Abc_Frame_t *, int, char **) |
|
extern |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 63 of file cmdApi.c.


|
extern |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 193 of file cmdApi.c.


|
extern |
DECLARATIONS ///.
CFile****************************************************************
FileName [cmdApi.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Command processing package.]
Synopsis [External procedures of the command package.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
] FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 47 of file cmdApi.c.
|
extern |
Function********************************************************************
Synopsis [Ends the command package.]
Description [Ends the command package. Tables are freed.]
SideEffects []
SeeAlso []
Definition at line 139 of file cmd.c.
|
extern |
Function********************************************************************
Synopsis [Deletes a set value by calling instead of unset command.]
Description [Deletes a set value by calling instead of unset command.]
SideEffects []
Definition at line 90 of file cmdFlag.c.

|
extern |
DECLARATIONS ///.
CFile****************************************************************
FileName [cmdFlag.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Command processing package.]
Synopsis [Procedures working with flags.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
] FUNCTION DEFINITIONS /// Function********************************************************************
Synopsis [Looks up value of flag in table of named values.]
Description [The command parser maintains a table of named values. These are manipulated using the 'set' and 'unset' commands. The value of the named flag is returned, or NULL is returned if the flag has not been set.]
SideEffects []
Definition at line 47 of file cmdFlag.c.


|
extern |
Function********************************************************************
Synopsis [Updates a set value by calling instead of set command.]
Description [Updates a set value by calling instead of set command.]
SideEffects []
Definition at line 65 of file cmdFlag.c.


|
extern |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 50 of file cmdHist.c.


|
extern |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 164 of file cmdHist.c.

|
extern |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 103 of file cmdHist.c.


|
extern |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 134 of file cmdHist.c.

|
extern |
MACRO DEFINITIONS ///.
FUNCTION DEFINITIONS ///
MACRO DEFINITIONS ///.
Function********************************************************************
Synopsis [Initializes the command package.]
SideEffects [Commands are added to the command table.]
SeeAlso [Cmd_End]
Definition at line 85 of file cmd.c.
|
extern |
DECLARATIONS ///.
CFile****************************************************************
FileName [cmdApi.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Command processing package.]
Synopsis [External procedures of the command package.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
] FUNCTION DEFINITIONS /// Function********************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 48 of file cmdLoad.c.

