parseInt.h File Reference

#include <stdio.h>
#include "misc/extra/extraBdd.h"
#include "parse.h"

Go to the source code of this file.

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct ParseStackFnStruct	Parse_StackFn_t
	INCLUDES ///. More...
typedef struct ParseStackOpStruct	Parse_StackOp_t

Functions
Parse_StackFn_t *	Parse_StackFnStart (int nDepth)
	GLOBAL VARIABLES ///. More...
int	Parse_StackFnIsEmpty (Parse_StackFn_t *p)
void	Parse_StackFnPush (Parse_StackFn_t *p, void *bFunc)
void *	Parse_StackFnPop (Parse_StackFn_t *p)
void	Parse_StackFnFree (Parse_StackFn_t *p)
Parse_StackOp_t *	Parse_StackOpStart (int nDepth)
int	Parse_StackOpIsEmpty (Parse_StackOp_t *p)
void	Parse_StackOpPush (Parse_StackOp_t *p, int Oper)
int	Parse_StackOpPop (Parse_StackOp_t *p)
void	Parse_StackOpFree (Parse_StackOp_t *p)

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct ParseStackFnStruct Parse_StackFn_t

INCLUDES ///.

CFile****************************************************************

FileName [parseInt.h]

PackageName [MVSIS 2.0: Multi-valued logic synthesis system.]

Synopsis [Parsing symbolic Boolean formulas into BDDs.]

Author [MVSIS Group]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 8, 2003.]

Revision [

Id:

parseInt.h,v 1.0 2003/09/08 00:00:00 alanmi Exp

]PARAMETERS ///STRUCTURE DEFINITIONS ///

Definition at line 43 of file parseInt.h.

typedef struct ParseStackOpStruct Parse_StackOp_t

Definition at line 44 of file parseInt.h.

Function Documentation

void Parse_StackFnFree

(

Parse_StackFn_t *

p

)

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

Synopsis [Deletes the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 136 of file parseStack.c.

{
    ABC_FREE( p->pData );
    ABC_FREE( p );
}

int Parse_StackFnIsEmpty

(

Parse_StackFn_t *

p

)

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

Synopsis [Checks whether the stack is empty.]

Description []

SideEffects []

SeeAlso []

Definition at line 78 of file parseStack.c.

{
    return (int)(p->Top == 0);
}

void* Parse_StackFnPop

(

Parse_StackFn_t *

p

)

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

Synopsis [Pops an entry out of the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 115 of file parseStack.c.

{
    if ( p->Top == 0 )
    {
        printf( "Parse_StackFnPush(): Trying to extract data from the empty stack!\n" );
        return NULL;
    }
    return p->pData[ --p->Top ];
}

void Parse_StackFnPush	(	Parse_StackFn_t *	p,
		void *	bFunc
	)

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

Synopsis [Pushes an entry into the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 94 of file parseStack.c.

{
    if ( p->Top >= p->Size )
    {
        printf( "Parse_StackFnPush(): Stack size is too small!\n" );
        return;
    }
    p->pData[ p->Top++ ] = bFunc;
}

Parse_StackFn_t* Parse_StackFnStart

(

int

nDepth

)

GLOBAL VARIABLES ///.

MACRO DEFINITIONS ///FUNCTION DEFINITIONS ///

GLOBAL VARIABLES ///.

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

Synopsis [Starts the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 57 of file parseStack.c.

{
    Parse_StackFn_t * p;
    p = ABC_ALLOC( Parse_StackFn_t, 1 );
    memset( p, 0, sizeof(Parse_StackFn_t) );
    p->pData = ABC_ALLOC( void *, nDepth );
    p->Size = nDepth;
    return p;
}

void Parse_StackOpFree

(

Parse_StackOp_t *

p

)

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

Synopsis [Deletes the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 235 of file parseStack.c.

{
    ABC_FREE( p->pData );
    ABC_FREE( p );
}

int Parse_StackOpIsEmpty

(

Parse_StackOp_t *

p

)

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

Synopsis [Checks whether the stack is empty.]

Description []

SideEffects []

SeeAlso []

Definition at line 177 of file parseStack.c.

{
    return (int)(p->Top == 0);
}

int Parse_StackOpPop

(

Parse_StackOp_t *

p

)

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

Synopsis [Pops an entry out of the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 214 of file parseStack.c.

{
    if ( p->Top == 0 )
    {
        printf( "Parse_StackOpPush(): Trying to extract data from the empty stack!\n" );
        return -1;
    }
    return p->pData[ --p->Top ];
}

void Parse_StackOpPush	(	Parse_StackOp_t *	p,
		int	Oper
	)

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

Synopsis [Pushes an entry into the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 193 of file parseStack.c.

{
    if ( p->Top >= p->Size )
    {
        printf( "Parse_StackOpPush(): Stack size is too small!\n" );
        return;
    }
    p->pData[ p->Top++ ] = Oper;
}

Parse_StackOp_t* Parse_StackOpStart

(

int

nDepth

)

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

Synopsis [Starts the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 156 of file parseStack.c.

{
    Parse_StackOp_t * p;
    p = ABC_ALLOC( Parse_StackOp_t, 1 );
    memset( p, 0, sizeof(Parse_StackOp_t) );
    p->pData = ABC_ALLOC( int, nDepth );
    p->Size = nDepth;
    return p;
}