plaCom.c File Reference

#include "pla.h"
#include "base/main/mainInt.h"

Include dependency graph for plaCom.c:

Go to the source code of this file.

Functions
void	Pla_Init (Abc_Frame_t *pAbc)
	FUNCTION DEFINITIONS ///.
void	Pla_End (Abc_Frame_t *pAbc)
void	Pla_SetMan (Abc_Frame_t *pAbc, Pla_Man_t *p)

Function Documentation

Pla_End()

void Pla_End

(

Abc_Frame_t *

pAbc

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 78 of file plaCom.c.

{
    Pla_AbcFreeMan( pAbc );
}

Here is the caller graph for this function:

Pla_Init()

void Pla_Init

(

Abc_Frame_t *

pAbc

)

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 57 of file plaCom.c.

{
    Cmd_CommandAdd( pAbc, "Two-level", "|read",       Abc_CommandReadPla,   0 );
    Cmd_CommandAdd( pAbc, "Two-level", "|write",      Abc_CommandWritePla,  0 );
    Cmd_CommandAdd( pAbc, "Two-level", "|ps",         Abc_CommandPs,        0 );
    Cmd_CommandAdd( pAbc, "Two-level", "|gen",        Abc_CommandGen,       0 );
    Cmd_CommandAdd( pAbc, "Two-level", "|merge",      Abc_CommandMerge,     0 );
    Cmd_CommandAdd( pAbc, "Two-level", "|test",       Abc_CommandTest,      0 );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Pla_SetMan()

void Pla_SetMan	(	Abc_Frame_t *	pAbc,
		Pla_Man_t *	p )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 94 of file plaCom.c.

{
    Pla_AbcUpdateMan( pAbc, p );
}