ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
cmd.h
Go to the documentation of this file.
1
20
21#ifndef ABC__base__cmd__cmd_h
22#define ABC__base__cmd__cmd_h
23
24
28
30
34
38
39typedef struct MvCommand Abc_Command; // one command
40typedef struct MvAlias Abc_Alias; // one alias
41
45
49
50/*=== cmd.c ===========================================================*/
51extern void Cmd_Init( Abc_Frame_t * pAbc );
52extern void Cmd_End( Abc_Frame_t * pAbc );
53/*=== cmdApi.c ========================================================*/
54typedef int (*Cmd_CommandFuncType)(Abc_Frame_t*, int, char**);
55extern int Cmd_CommandIsDefined( Abc_Frame_t * pAbc, const char * sName );
56extern void Cmd_CommandAdd( Abc_Frame_t * pAbc, const char * sGroup, const char * sName, Cmd_CommandFuncType pFunc, int fChanges );
57extern ABC_DLL int Cmd_CommandExecute( Abc_Frame_t * pAbc, const char * sCommand );
58/*=== cmdFlag.c ========================================================*/
59extern char * Cmd_FlagReadByName( Abc_Frame_t * pAbc, char * flag );
60extern void Cmd_FlagDeleteByName( Abc_Frame_t * pAbc, const char * key );
61extern void Cmd_FlagUpdateValue( Abc_Frame_t * pAbc, const char * key, char * value );
62/*=== cmdHist.c ========================================================*/
63extern void Cmd_HistoryAddCommand( Abc_Frame_t * pAbc, const char * command );
64extern void Cmd_HistoryRead( Abc_Frame_t * p );
65extern void Cmd_HistoryWrite( Abc_Frame_t * p, int Limit );
66extern void Cmd_HistoryPrint( Abc_Frame_t * p, int Limit );
67/*=== cmdLoad.c ========================================================*/
68extern int CmdCommandLoad( Abc_Frame_t * pAbc, int argc, char ** argv );
69
70
71
73
74
75
76#endif
77
81
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_ Abc_Frame_t
INCLUDES ///.
Definition abcapis.h:38
#define ABC_DLL
Definition abcapis.h:57
ABC_NAMESPACE_IMPL_START typedef signed char value
int(* Cmd_CommandFuncType)(Abc_Frame_t *, int, char **)
Definition cmd.h:54
char * Cmd_FlagReadByName(Abc_Frame_t *pAbc, char *flag)
DECLARATIONS ///.
Definition cmdFlag.c:47
void Cmd_HistoryWrite(Abc_Frame_t *p, int Limit)
Definition cmdHist.c:134
void Cmd_FlagUpdateValue(Abc_Frame_t *pAbc, const char *key, char *value)
Definition cmdFlag.c:65
int Cmd_CommandIsDefined(Abc_Frame_t *pAbc, const char *sName)
DECLARATIONS ///.
Definition cmdApi.c:47
void Cmd_HistoryPrint(Abc_Frame_t *p, int Limit)
Definition cmdHist.c:164
void Cmd_FlagDeleteByName(Abc_Frame_t *pAbc, const char *key)
Definition cmdFlag.c:90
void Cmd_Init(Abc_Frame_t *pAbc)
MACRO DEFINITIONS ///.
Definition cmd.c:85
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition cmdApi.c:63
struct MvAlias Abc_Alias
Definition cmd.h:40
void Cmd_HistoryRead(Abc_Frame_t *p)
Definition cmdHist.c:103
void Cmd_End(Abc_Frame_t *pAbc)
Definition cmd.c:139
typedefABC_NAMESPACE_HEADER_START struct MvCommand Abc_Command
INCLUDES ///.
Definition cmd.h:39
void Cmd_HistoryAddCommand(Abc_Frame_t *pAbc, const char *command)
FUNCTION DEFINITIONS ///.
Definition cmdHist.c:50
int CmdCommandLoad(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition cmdLoad.c:48
ABC_DLL int Cmd_CommandExecute(Abc_Frame_t *pAbc, const char *sCommand)
Definition cmdApi.c:193
Cube * p
Definition exorList.c:222
enum keys key
Definition main.h:25
char * sName
Definition cmdInt.h:53
char ** argv
Definition cmdInt.h:55
int argc
Definition cmdInt.h:54
INCLUDES ///.
Definition cmdInt.h:44