rewire_miaig.cpp File Reference

#include "rewire_rar.h"
#include "rewire_miaig.h"

Include dependency graph for rewire_miaig.cpp:

Go to the source code of this file.

Namespaces
namespace	Rewire

Functions
ABC_NAMESPACE_IMPL_START Gia_Man_t *	Gia_ManRewireInt (Gia_Man_t *pGia, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fChoices, int fVerbose)
Abc_Ntk_t *	Abc_ManRewireInt (Abc_Ntk_t *pNtk, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fVerbose)
Mini_Aig_t *	MiniAig_ManRewireInt (Mini_Aig_t *pAig, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fVerbose)
vi *	Rewire::moveVecToVi (Vec_Int_t *v)
void	Rewire::randomAddBest (std::vector< Miaig > &pBests, Miaig pNew, int nBestSave, Gia_ChMan_t *pChMan)
Miaig	Rewire::randomRead (std::vector< Miaig > &pBests)
Miaig	Rewire::randomReadExcept (std::vector< Miaig > &pBests, Miaig &pExcept)

Function Documentation

Abc_ManRewireInt()

Abc_Ntk_t * Abc_ManRewireInt	(	Abc_Ntk_t *	pNtk,
		Gia_Man_t *	pExc,
		int	nIters,
		float	levelGrowRatio,
		int	nExpands,
		int	nGrowth,
		int	nDivs,
		int	nFaninMax,
		int	nTimeOut,
		int	nMode,
		int	nMappedMode,
		int	nDist,
		int	nSeed,
		int	fCheck,
		int	fVerbose )

Definition at line 43 of file rewire_miaig.cpp.

                                                                                                                                                                                                                                               {
    Random_Num(nSeed == 0 ? Abc_Random(0) % 10 : nSeed);
 
    assert(Abc_NtkCiNum(pNtk) <= 58);
    int fMapped = nMode == 1;
    Rewire::Miaig pNtkMiaig(pNtk);
    if (pExc)
        pNtkMiaig.setExc(pExc);
    Rewire::Miaig pNew = pNtkMiaig.rewire(nIters, levelGrowRatio, nExpands, nGrowth, nDivs, nFaninMax, nTimeOut, fMapped, nMappedMode, nDist, fCheck, NULL, fVerbose);
    pNew.setName(Abc_NtkName(pNtk));
    if (nMode > 0) {
        pNew.countTransistors(1, nMappedMode);
    }
 
    return pNew.toNtk(nMode >= 1);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Gia_ManRewireInt()

ABC_NAMESPACE_IMPL_START Gia_Man_t * Gia_ManRewireInt	(	Gia_Man_t *	pGia,
		Gia_Man_t *	pExc,
		int	nIters,
		float	levelGrowRatio,
		int	nExpands,
		int	nGrowth,
		int	nDivs,
		int	nFaninMax,
		int	nTimeOut,
		int	nMode,
		int	nMappedMode,
		int	nDist,
		int	nSeed,
		int	fCheck,
		int	fChoices,
		int	fVerbose )

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

FileName [rewire_miaig.cpp]

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.cpp,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 29 of file rewire_miaig.cpp.

                                                                                                                                                                                                                                                             {
    Random_Num(nSeed == 0 ? Abc_Random(0) % 10 : nSeed);
    Gia_ChMan_t *pChMan = fChoices ? Gia_ManDupChoicesStart(pGia) : NULL;
 
    assert(Gia_ManCiNum(pGia) <= 58);
    Rewire::Miaig pNtkMiaig(pGia);
    if (pExc)
        pNtkMiaig.setExc(pExc);
    Rewire::Miaig pNew = pNtkMiaig.rewire(nIters, levelGrowRatio, nExpands, nGrowth, nDivs, nFaninMax, nTimeOut, nMode, nMappedMode, nDist, fCheck, pChMan, fVerbose);
    pNew.setName(Gia_ManName(pGia));
 
    return pChMan ? Gia_ManDupChoicesFinish(pChMan) : pNew.toGia();
}

Here is the call graph for this function:

Here is the caller graph for this function:

MiniAig_ManRewireInt()

Mini_Aig_t * MiniAig_ManRewireInt	(	Mini_Aig_t *	pAig,
		Gia_Man_t *	pExc,
		int	nIters,
		float	levelGrowRatio,
		int	nExpands,
		int	nGrowth,
		int	nDivs,
		int	nFaninMax,
		int	nTimeOut,
		int	nMode,
		int	nMappedMode,
		int	nDist,
		int	nSeed,
		int	fCheck,
		int	fVerbose )

Definition at line 60 of file rewire_miaig.cpp.

                                                                                                                                                                                                                                                     {
    Random_Num(nSeed == 0 ? Abc_Random(0) % 10 : nSeed);
 
    assert(Mini_AigPiNum(pAig) <= 58);
    Rewire::Miaig pNtkMiaig(pAig);
    if (pExc)
        pNtkMiaig.setExc(pExc);
    Rewire::Miaig pNew = pNtkMiaig.rewire(nIters, levelGrowRatio, nExpands, nGrowth, nDivs, nFaninMax, nTimeOut, nMode, nMappedMode, nDist, fCheck, NULL, fVerbose);
 
    return pNew.toMiniAig();
}

Here is the call graph for this function:

Here is the caller graph for this function: