src/bdd/parse/parseInt.h File Reference

#include <stdio.h>
#include "cuddInt.h"
#include "extra.h"
#include "parse.h"

Include dependency graph for parseInt.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs
typedef int	bool
typedef struct ParseStackFnStruct	Parse_StackFn_t
typedef struct ParseStackOpStruct	Parse_StackOp_t
Functions
Parse_StackFn_t *	Parse_StackFnStart (int nDepth)
bool	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)
bool	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 int bool

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

] INCLUDES /// PARAMETERS /// STRUCTURE DEFINITIONS ///

Definition at line 40 of file parseInt.h.

typedef struct ParseStackFnStruct Parse_StackFn_t

Definition at line 42 of file parseInt.h.

typedef struct ParseStackOpStruct Parse_StackOp_t

Definition at line 43 of file parseInt.h.

---

Function Documentation

void Parse_StackFnFree

(

Parse_StackFn_t *

p

)

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

Synopsis [Deletes the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 133 of file parseStack.c.

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

bool Parse_StackFnIsEmpty

(

Parse_StackFn_t *

p

)

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

Synopsis [Checks whether the stack is empty.]

Description []

SideEffects []

SeeAlso []

Definition at line 75 of file parseStack.c.

{
    return (bool)(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 112 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 91 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 ///

FUNCTION DEFINITIONS ///Function*************************************************************

Synopsis [Starts the stack.]

Description []

SideEffects []

SeeAlso []

Definition at line 54 of file parseStack.c.

{
    Parse_StackFn_t * p;
    p = ALLOC( Parse_StackFn_t, 1 );
    memset( p, 0, sizeof(Parse_StackFn_t) );
    p->pData = 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 232 of file parseStack.c.

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

bool Parse_StackOpIsEmpty

(

Parse_StackOp_t *

p

)

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

Synopsis [Checks whether the stack is empty.]

Description []

SideEffects []

SeeAlso []

Definition at line 174 of file parseStack.c.

{
    return (bool)(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 211 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 190 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 153 of file parseStack.c.

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