bacCom.c File Reference

#include "bac.h"
#include "bacPrs.h"
#include "proof/cec/cec.h"
#include "base/main/mainInt.h"

Include dependency graph for bacCom.c:

Go to the source code of this file.

Functions
void	Abc_FrameImportPtr (Vec_Ptr_t *vPtr)
	FUNCTION DEFINITIONS ///.
Vec_Ptr_t *	Abc_FrameExportPtr ()
void	Bac_Init (Abc_Frame_t *pAbc)
void	Bac_End (Abc_Frame_t *pAbc)

Function Documentation

Abc_FrameExportPtr()

Vec_Ptr_t * Abc_FrameExportPtr

(

)

Definition at line 73 of file bacCom.c.

{
    Vec_Ptr_t * vPtr;
    Bac_Man_t * p;
    if ( Abc_FrameGetGlobalFrame() == NULL )
    {
        printf( "ABC framework is not started.\n" );
        return NULL;
    }
    p = Bac_AbcGetMan( Abc_FrameGetGlobalFrame() );
    if ( p == NULL )
        printf( "There is no CBA design present.\n" );
    vPtr = Bac_PtrDeriveFromCba( p );
    if ( vPtr == NULL )
        printf( "Converting to Ptr has failed.\n" );
    return vPtr;
}

Here is the call graph for this function:

Abc_FrameImportPtr()

void Abc_FrameImportPtr

(

Vec_Ptr_t *

vPtr

)

FUNCTION DEFINITIONS ///.

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

Synopsis [Accessing current Bac_Ntk_t.]

Description []

SideEffects []

SeeAlso []

Definition at line 60 of file bacCom.c.

{
    Bac_Man_t * p;
    if ( Abc_FrameGetGlobalFrame() == NULL )
    {
        printf( "ABC framework is not started.\n" );
        return;
    }
    p = Bac_PtrTransformToCba( vPtr );
    if ( p == NULL )
        printf( "Converting from Ptr failed.\n" );
    Bac_AbcUpdateMan( Abc_FrameGetGlobalFrame(), p );
}

Here is the call graph for this function:

Bac_End()

void Bac_End

(

Abc_Frame_t *

pAbc

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 125 of file bacCom.c.

{
    Bac_AbcFreeMan( pAbc );
}

Here is the caller graph for this function:

Bac_Init()

void Bac_Init

(

Abc_Frame_t *

pAbc

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 102 of file bacCom.c.

{
    Cmd_CommandAdd( pAbc, "New word level", "@_read",       Bac_CommandRead,      0 );
    Cmd_CommandAdd( pAbc, "New word level", "@_write",      Bac_CommandWrite,     0 );
    Cmd_CommandAdd( pAbc, "New word level", "@_ps",         Bac_CommandPs,        0 );
    Cmd_CommandAdd( pAbc, "New word level", "@_put",        Bac_CommandPut,       0 );
    Cmd_CommandAdd( pAbc, "New word level", "@_get",        Bac_CommandGet,       0 );
    Cmd_CommandAdd( pAbc, "New word level", "@_clp",        Bac_CommandClp,       0 );
    Cmd_CommandAdd( pAbc, "New word level", "@_cec",        Bac_CommandCec,       0 );
    Cmd_CommandAdd( pAbc, "New word level", "@_test",       Bac_CommandTest,      0 );
}

Here is the call graph for this function:

Here is the caller graph for this function: