bacPrs.h File Reference

#include "aig/gia/gia.h"
#include "misc/util/utilNam.h"

Include dependency graph for bacPrs.h:

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

Go to the source code of this file.

Classes
struct	Psr_Ntk_t_
struct	Psr_Man_t_

Macros
#define	Psr_ManForEachNameVec(vVec, p, pName, i)
#define	Psr_NtkForEachPio(p, NameId, i)
#define	Psr_NtkForEachPi(p, NameId, i)
#define	Psr_NtkForEachPo(p, NameId, i)
#define	Psr_NtkForEachBox(p, vVec, i)

Typedefs
typedef struct Psr_Ntk_t_	Psr_Ntk_t
	BASIC TYPES ///.
typedef struct Psr_Man_t_	Psr_Man_t

Enumerations
enum	Psr_ManType_t { BAC_PRS_NAME = 0 , BAC_PRS_SLICE , BAC_PRS_CONST , BAC_PRS_CONCAT }
	INCLUDES ///. More...

Macro Definition Documentation

Psr_ManForEachNameVec

#define Psr_ManForEachNameVec	(		vVec,
			p,
			pName,
			i )

Value:

    for ( i = 0; (i < Vec_IntSize(vVec)) && ((pName) = Abc_NamStr(p->pStrs, Vec_IntEntry(vVec,i))); i++ )

Definition at line 138 of file bacPrs.h.

#define Psr_ManForEachNameVec( vVec, p, pName, i )   \
    for ( i = 0; (i < Vec_IntSize(vVec)) && ((pName) = Abc_NamStr(p->pStrs, Vec_IntEntry(vVec,i))); i++ )

Psr_NtkForEachBox

#define Psr_NtkForEachBox	(		p,
			vVec,
			i )

Value:

    for ( i = 0; i < Psr_NtkBoxNum(p) && ((vVec) = Psr_BoxSignals(p, i)); i++ )

Definition at line 147 of file bacPrs.h.

#define Psr_NtkForEachBox( p, vVec, i )              \
    for ( i = 0; i < Psr_NtkBoxNum(p) && ((vVec) = Psr_BoxSignals(p, i)); i++ )

Psr_NtkForEachPi

#define Psr_NtkForEachPi	(		p,
			NameId,
			i )

Value:

    for ( i = 0; i < Psr_NtkPiNum(p) && ((NameId) = Vec_IntEntry(&p->vInputs, i)); i++ )

Definition at line 143 of file bacPrs.h.

#define Psr_NtkForEachPi( p, NameId, i )             \
    for ( i = 0; i < Psr_NtkPiNum(p) && ((NameId) = Vec_IntEntry(&p->vInputs, i)); i++ )

Psr_NtkForEachPio

#define Psr_NtkForEachPio	(		p,
			NameId,
			i )

Value:

    for ( i = 0; i < Psr_NtkPioNum(p) && ((NameId) = Vec_IntEntry(&p->vInouts, i)); i++ )

Definition at line 141 of file bacPrs.h.

#define Psr_NtkForEachPio( p, NameId, i )            \
    for ( i = 0; i < Psr_NtkPioNum(p) && ((NameId) = Vec_IntEntry(&p->vInouts, i)); i++ )

Psr_NtkForEachPo

#define Psr_NtkForEachPo	(		p,
			NameId,
			i )

Value:

    for ( i = 0; i < Psr_NtkPoNum(p) && ((NameId) = Vec_IntEntry(&p->vOutputs, i)); i++ )

Definition at line 145 of file bacPrs.h.

#define Psr_NtkForEachPo( p, NameId, i )             \
    for ( i = 0; i < Psr_NtkPoNum(p) && ((NameId) = Vec_IntEntry(&p->vOutputs, i)); i++ )

Typedef Documentation

Psr_Man_t

typedef struct Psr_Man_t_ Psr_Man_t

Definition at line 83 of file bacPrs.h.

Psr_Ntk_t

typedef struct Psr_Ntk_t_ Psr_Ntk_t

BASIC TYPES ///.

Definition at line 51 of file bacPrs.h.

Enumeration Type Documentation

Psr_ManType_t

enum Psr_ManType_t

INCLUDES ///.

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

FileName [bacPrs.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [Parser declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - November 29, 2014.]

Revision [

Id

bacPrs.h,v 1.00 2014/11/29 00:00:00 alanmi Exp

] PARAMETERS ///

Enumerator
BAC_PRS_NAME
BAC_PRS_SLICE
BAC_PRS_CONST
BAC_PRS_CONCAT

Definition at line 39 of file bacPrs.h.

             { 
    BAC_PRS_NAME = 0,        // 0:  name/variable
    BAC_PRS_SLICE,           // 1:  slice
    BAC_PRS_CONST,           // 2:  constant
    BAC_PRS_CONCAT,          // 3:  concatentation
} Psr_ManType_t;