rewire_miaig.h File Reference

#include "base/abc/abc.h"
#include "aig/miniaig/miniaig.h"
#include "rewire_map.h"
#include "rewire_vec.h"
#include "rewire_tt.h"
#include "rewire_time.h"
#include <vector>
#include <algorithm>

Include dependency graph for rewire_miaig.h:

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

Go to the source code of this file.

Classes
struct	Rewire::Miaig_Data
class	Rewire::Miaig

Namespaces
namespace	Rewire

Macros
#define	RW_ABC
#define	RW_INT_MAX   ABC_INT_MAX
#define	Rw_MaxInt   Abc_MaxInt
#define	Rw_MinInt   Abc_MinInt
#define	Rw_Var2Lit   Abc_Var2Lit
#define	Rw_Lit2Var   Abc_Lit2Var
#define	Rw_LitIsCompl   Abc_LitIsCompl
#define	Rw_LitNot   Abc_LitNot
#define	Rw_LitNotCond   Abc_LitNotCond
#define	Rw_LitRegular   Abc_LitRegular
#define	Miaig_CustomForEachConstInput(p, i)
#define	Miaig_CustomForEachInput(p, i)
#define	Miaig_CustomForEachNode(p, i)
#define	Miaig_CustomForEachNodeReverse(p, i)
#define	Miaig_CustomForEachInputNode(p, i)
#define	Miaig_CustomForEachNodeStart(p, i, s)
#define	Miaig_CustomForEachOutput(p, i)
#define	Miaig_CustomForEachNodeOutput(p, i)
#define	Miaig_CustomForEachNodeOutputStart(p, i, s)
#define	Miaig_CustomForEachObj(p, i)
#define	Miaig_CustomForEachObjFanin(p, i, iLit, k)
#define	Miaig_ForEachConstInput(i)
#define	Miaig_ForEachInput(i)
#define	Miaig_ForEachNode(i)
#define	Miaig_ForEachNodeReverse(i)
#define	Miaig_ForEachInputNode(i)
#define	Miaig_ForEachNodeStart(i, s)
#define	Miaig_ForEachOutput(i)
#define	Miaig_ForEachNodeOutput(i)
#define	Miaig_ForEachNodeOutputStart(i, s)
#define	Miaig_ForEachObj(i)
#define	Miaig_ForEachObjFanin(i, iLit, k)
#define	Miaig_ForEachObjFaninStart(i, iLit, k, s)

Macro Definition Documentation

Miaig_CustomForEachConstInput

#define Miaig_CustomForEachConstInput	(		p,
			i )

Value:

for (i = 0; i <= p->nIns; i++)

Definition at line 127 of file rewire_miaig.h.

Miaig_CustomForEachInput

#define Miaig_CustomForEachInput	(		p,
			i )

Value:

for (i = 1; i <= p->nIns; i++)

Definition at line 128 of file rewire_miaig.h.

Miaig_CustomForEachInputNode

#define Miaig_CustomForEachInputNode	(		p,
			i )

Value:

for (i = 1; i < p->nObjs - p->nOuts; i++)

Definition at line 131 of file rewire_miaig.h.

Miaig_CustomForEachNode

#define Miaig_CustomForEachNode	(		p,
			i )

Value:

for (i = 1 + p->nIns; i < p->nObjs - p->nOuts; i++)

Definition at line 129 of file rewire_miaig.h.

Miaig_CustomForEachNodeOutput

#define Miaig_CustomForEachNodeOutput	(		p,
			i )

Value:

for (i = 1 + p->nIns; i < p->nObjs; i++)

Definition at line 134 of file rewire_miaig.h.

Miaig_CustomForEachNodeOutputStart

#define Miaig_CustomForEachNodeOutputStart	(		p,
			i,
			s )

Value:

for (i = s; i < p->nObjs; i++)

Definition at line 135 of file rewire_miaig.h.

Miaig_CustomForEachNodeReverse

#define Miaig_CustomForEachNodeReverse	(		p,
			i )

Value:

for (i = p->nObjs - p->nOuts - 1; i > 1 + p->nIns; i--)

Definition at line 130 of file rewire_miaig.h.

Miaig_CustomForEachNodeStart

#define Miaig_CustomForEachNodeStart	(		p,
			i,
			s )

Value:

for (i = s; i < p->nObjs - p->nOuts; i++)

Definition at line 132 of file rewire_miaig.h.

Miaig_CustomForEachObj

#define Miaig_CustomForEachObj	(		p,
			i )

Value:

for (i = 0; i < p->nObjs; i++)

Definition at line 136 of file rewire_miaig.h.

Miaig_CustomForEachObjFanin

#define Miaig_CustomForEachObjFanin	(		p,
			i,
			iLit,
			k )

Value:

Vi_ForEachEntry(&p->pvFans[i], iLit, k)

Definition at line 137 of file rewire_miaig.h.

Miaig_CustomForEachOutput

#define Miaig_CustomForEachOutput	(		p,
			i )

Value:

for (i = p->nObjs - p->nOuts; i < p->nObjs; i++)

Definition at line 133 of file rewire_miaig.h.

Miaig_ForEachConstInput

#define Miaig_ForEachConstInput

(

i

)

Value:

for (i = 0; i <= _data->nIns; i++)

Definition at line 139 of file rewire_miaig.h.

Miaig_ForEachInput

#define Miaig_ForEachInput

(

i

)

Value:

for (i = 1; i <= _data->nIns; i++)

Definition at line 140 of file rewire_miaig.h.

Miaig_ForEachInputNode

#define Miaig_ForEachInputNode

(

i

)

Value:

for (i = 1; i < _data->nObjs - _data->nOuts; i++)

Definition at line 143 of file rewire_miaig.h.

Miaig_ForEachNode

#define Miaig_ForEachNode

(

i

)

Value:

for (i = 1 + _data->nIns; i < _data->nObjs - _data->nOuts; i++)

Definition at line 141 of file rewire_miaig.h.

Miaig_ForEachNodeOutput

#define Miaig_ForEachNodeOutput

(

i

)

Value:

for (i = 1 + _data->nIns; i < _data->nObjs; i++)

Definition at line 146 of file rewire_miaig.h.

Miaig_ForEachNodeOutputStart

#define Miaig_ForEachNodeOutputStart	(		i,
			s )

Value:

for (i = s; i < _data->nObjs; i++)

Definition at line 147 of file rewire_miaig.h.

Miaig_ForEachNodeReverse

#define Miaig_ForEachNodeReverse

(

i

)

Value:

for (i = _data->nObjs - p->nOuts - 1; i > 1 + _data->nIns; i--)

Definition at line 142 of file rewire_miaig.h.

Miaig_ForEachNodeStart

#define Miaig_ForEachNodeStart	(		i,
			s )

Value:

for (i = s; i < _data->nObjs - _data->nOuts; i++)

Definition at line 144 of file rewire_miaig.h.

Miaig_ForEachObj

#define Miaig_ForEachObj

(

i

)

Value:

for (i = 0; i < _data->nObjs; i++)

Definition at line 148 of file rewire_miaig.h.

Miaig_ForEachObjFanin

#define Miaig_ForEachObjFanin	(		i,
			iLit,
			k )

Value:

Vi_ForEachEntry(&_data->pvFans[i], iLit, k)

Definition at line 149 of file rewire_miaig.h.

Miaig_ForEachObjFaninStart

#define Miaig_ForEachObjFaninStart	(		i,
			iLit,
			k,
			s )

Value:

Vi_ForEachEntryStart(&_data->pvFans[i], iLit, k, s)

Definition at line 150 of file rewire_miaig.h.

Miaig_ForEachOutput

#define Miaig_ForEachOutput

(

i

)

Value:

for (i = _data->nObjs - _data->nOuts; i < _data->nObjs; i++)

Definition at line 145 of file rewire_miaig.h.

RW_ABC

#define RW_ABC

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

FileName [rewire_miaig.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Re-wiring.]

Synopsis []

Author [Jiun-Hao Chen]

Affiliation [National Taiwan University]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

rewire_miaig.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 24 of file rewire_miaig.h.

RW_INT_MAX

#define RW_INT_MAX   ABC_INT_MAX

Definition at line 30 of file rewire_miaig.h.

Rw_Lit2Var

#define Rw_Lit2Var   Abc_Lit2Var

Definition at line 34 of file rewire_miaig.h.

Rw_LitIsCompl

#define Rw_LitIsCompl   Abc_LitIsCompl

Definition at line 35 of file rewire_miaig.h.

Rw_LitNot

#define Rw_LitNot   Abc_LitNot

Definition at line 36 of file rewire_miaig.h.

Rw_LitNotCond

#define Rw_LitNotCond   Abc_LitNotCond

Definition at line 37 of file rewire_miaig.h.

Rw_LitRegular

#define Rw_LitRegular   Abc_LitRegular

Definition at line 38 of file rewire_miaig.h.

Rw_MaxInt

#define Rw_MaxInt   Abc_MaxInt

Definition at line 31 of file rewire_miaig.h.

Rw_MinInt

#define Rw_MinInt   Abc_MinInt

Definition at line 32 of file rewire_miaig.h.

Rw_Var2Lit

#define Rw_Var2Lit   Abc_Var2Lit

Definition at line 33 of file rewire_miaig.h.