cbaCom.c File Reference

#include "cba.h"
#include "proof/cec/cec.h"
#include "base/main/mainInt.h"

Include dependency graph for cbaCom.c:

Go to the source code of this file.

Functions
void	Cba_Init (Abc_Frame_t *pAbc)
	FUNCTION DEFINITIONS ///.
void	Cba_End (Abc_Frame_t *pAbc)

Function Documentation

Cba_End()

void Cba_End

(

Abc_Frame_t *

pAbc

)

Function********************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 84 of file cbaCom.c.

{
    Cba_AbcFreeMan( pAbc );
}

Here is the caller graph for this function:

Cba_Init()

void Cba_Init

(

Abc_Frame_t *

pAbc

)

FUNCTION DEFINITIONS ///.

Function********************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 60 of file cbaCom.c.

{
    Cmd_CommandAdd( pAbc, "New word level", ":read",       Cba_CommandRead,      0 );
    Cmd_CommandAdd( pAbc, "New word level", ":write",      Cba_CommandWrite,     0 );
    Cmd_CommandAdd( pAbc, "New word level", ":ps",         Cba_CommandPs,        0 );
    Cmd_CommandAdd( pAbc, "New word level", ":put",        Cba_CommandPut,       0 );
    Cmd_CommandAdd( pAbc, "New word level", ":get",        Cba_CommandGet,       0 );
    Cmd_CommandAdd( pAbc, "New word level", ":clp",        Cba_CommandClp,       0 );
    Cmd_CommandAdd( pAbc, "New word level", ":blast",      Cba_CommandBlast,     0 );
    Cmd_CommandAdd( pAbc, "New word level", ":cec",        Cba_CommandCec,       0 );
    Cmd_CommandAdd( pAbc, "New word level", ":test",       Cba_CommandTest,      0 );
}

Here is the call graph for this function:

Here is the caller graph for this function: