|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
This is the complete list of members for Rewire::Miaig, including all inherited members.
| addref(void) | Rewire::Miaig | inline |
| appendFanin(int i, int iLit) | Rewire::Miaig | inline |
| appendObj(void) | Rewire::Miaig | inline |
| countAnd2(int reset=0, int fDummy=0) | Rewire::Miaig | inline |
| countLevel(int min=0) | Rewire::Miaig | inline |
| countTransistors(int reset=0, int nMode=0) | Rewire::Miaig | |
| derefObj(int iObj) | Rewire::Miaig | |
| derefObj_rec(int iObj, int iLitSkip) | Rewire::Miaig | |
| dup(int fRemDangle, int fMapped=0) | Rewire::Miaig | |
| dupDfs(void) | Rewire::Miaig | |
| dupMulti(int nFaninMax_, int nGrowth) | Rewire::Miaig | |
| dupStrash(int fCprop, int fStrash, int fCascade) | Rewire::Miaig | |
| expand(int nFaninAddLimitAll, int nDist, int nExpandableLevel, word *pExc, int fCheck, int nVerbose) | Rewire::Miaig | |
| expandShareReduce(int nFaninAddLimitAll, int nDivs, int nDist, int nExpandableLevel, word *pExc, int fCheck, int nVerbose) | Rewire::Miaig | |
| expandThenReduce(int nFaninAddLimit, int nDist, int nExpandableLevel, word *pExc, int fCheck, int fVerbose) | Rewire::Miaig | |
| fromGia(Gia_Man_t *pGia) | Rewire::Miaig | |
| fromMiniAig(Mini_Aig_t *pMiniAig) | Rewire::Miaig | |
| Miaig(void) | Rewire::Miaig | inline |
| Miaig(const Miaig &m) | Rewire::Miaig | inline |
| Miaig(int nIns, int nOuts, int nObjsAlloc) | Rewire::Miaig | inline |
| Miaig(Gia_Man_t *pGia) | Rewire::Miaig | inline |
| Miaig(Abc_Ntk_t *pNtk) | Rewire::Miaig | inline |
| Miaig(Mini_Aig_t *pMiniAig) | Rewire::Miaig | inline |
| nIns(void) | Rewire::Miaig | inline |
| nObjs(void) | Rewire::Miaig | inline |
| nObjsAlloc(void) | Rewire::Miaig | inline |
| nOuts(void) | Rewire::Miaig | inline |
| nTravIds(void) | Rewire::Miaig | inline |
| nWords(void) | Rewire::Miaig | inline |
| objCopy(int i) | Rewire::Miaig | inline |
| objDist(int i) | Rewire::Miaig | inline |
| objFanin0(int i) | Rewire::Miaig | inline |
| objFanin1(int i) | Rewire::Miaig | inline |
| objFaninNum(int i) | Rewire::Miaig | inline |
| objFanins(int i) | Rewire::Miaig | inline |
| objIsNode(int i) | Rewire::Miaig | inline |
| objIsPi(int i) | Rewire::Miaig | inline |
| objIsPo(int i) | Rewire::Miaig | inline |
| objLevel(int i) | Rewire::Miaig | inline |
| objPiIdx(int i) | Rewire::Miaig | inline |
| objPoIdx(int i) | Rewire::Miaig | inline |
| objRef(int i) | Rewire::Miaig | inline |
| objTravId(int i) | Rewire::Miaig | inline |
| objTruth(int i, int n) | Rewire::Miaig | inline |
| objType(int i) | Rewire::Miaig | inline |
| operator=(const Miaig &m) | Rewire::Miaig | inline |
| operator==(const Miaig &m) const | Rewire::Miaig | inline |
| print(void) | Rewire::Miaig | |
| reduce(word *pExc, int fCheck, int fVerbose) | Rewire::Miaig | |
| refObj(int iObj) | Rewire::Miaig | |
| release(void) | Rewire::Miaig | inline |
| rewire(int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int fCheck, Gia_ChMan_t *pChMan, int nVerbose) | Rewire::Miaig | |
| setExc(Gia_Man_t *pExc) | Rewire::Miaig | |
| setName(char *pName) | Rewire::Miaig | |
| share(int nNewNodesMax) | Rewire::Miaig | |
| toGia(void) | Rewire::Miaig | |
| toMiniAig(void) | Rewire::Miaig | |
| toNtk(int fMapped=0) | Rewire::Miaig | |
| ~Miaig(void) | Rewire::Miaig | inline |