| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaBidec.c | 46 unsigned * Gia_ManConvertAigToTruth_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vTruth, int n… in Gia_ManConvertAigToTruth_rec()
90 …AigToTruth( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_Int_t * vLeaves, Vec_Int_t * vTruth, Vec_Int_t *… in Gia_ManConvertAigToTruth()
168 Vec_Int_t * vLeaves, Vec_Int_t * vTruth, Vec_Int_t * vVisited ) in Gia_ObjPerformBidec()
237 Vec_Int_t * vLeaves, * vTruth, * vVisited; in Gia_ManPerformBidec() local
|
| H A D | giaShrink.c | 51 Vec_Int_t * vLeaves, * vTruth, * vVisited, * vLeavesBest; in Gia_ManMapShrink4() local
|
| H A D | giaMan.c | 798 Vec_Int_t * vLeaves, * vTruth, * vVisited; in Gia_ManPrintNpnClasses() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
| H A D | nwkUtil.c | 261 Vec_Int_t * vTruth; in Nwk_ManDumpBlif() local
483 int Nwk_ManMinimumBaseNode( Nwk_Obj_t * pObj, Vec_Int_t * vTruth, int fVerbose ) in Nwk_ManMinimumBaseNode()
521 Vec_Int_t * vTruth; in Nwk_ManMinimumBaseInt() local
565 Vec_Int_t * vTruth; in Nwk_ManMinimumBase() local
587 void Nwk_ManRemoveDupFaninsNode( Nwk_Obj_t * pObj, int iFan0, int iFan1, Vec_Int_t * vTruth ) in Nwk_ManRemoveDupFaninsNode()
610 Vec_Int_t * vTruth; in Nwk_ManRemoveDupFanins() local
|
| H A D | nwkBidec.c | 67 …yn( Bdc_Man_t * p, Hop_Man_t * pHop, Hop_Obj_t * pRoot, int nVars, Vec_Int_t * vTruth, unsigned * … in Nwk_NodeIfNodeResyn()
134 Vec_Int_t * vTruth; in Nwk_ManBidecResyn() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcBidec.c | 49 …yn( Bdc_Man_t * p, Hop_Man_t * pHop, Hop_Obj_t * pRoot, int nVars, Vec_Int_t * vTruth, unsigned * … in Abc_NodeIfNodeResyn()
115 Vec_Int_t * vTruth; in Abc_NtkBidecResyn() local
|
| H A D | abcPrint.c | 1769 Vec_Int_t * vFanins, * vTruth; in Abc_NtkMfsTotalGlitchingLut() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
| H A D | hopTruth.c | 97 unsigned * Hop_ManConvertAigToTruth_rec2( Hop_Obj_t * pObj, Vec_Int_t * vTruth, int nWords ) in Hop_ManConvertAigToTruth_rec2()
143 …ManConvertAigToTruth( Hop_Man_t * p, Hop_Obj_t * pRoot, int nVars, Vec_Int_t * vTruth, int fMsbFir… in Hop_ManConvertAigToTruth()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
| H A D | amapPerm.c | 238 Vec_Ptr_t * vTtElems, Vec_Int_t * vTruth, int nWords, int * piInput ) in Amap_LibVerifyPerm_rec()
284 Vec_Int_t * vTruth; in Amap_LibVerifyPerm() local
|
| H A D | amapParse.c | 398 Vec_Int_t * vTruth; in Amap_LibParseEquations() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/ |
| H A D | mioParse.c | 399 Vec_Wrd_t * vTruth; in Mio_ParseFormulaTruth() local
412 Vec_Wrd_t * vTruth; in Mio_ParseFormulaTruthTest() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyUtil.c | 134 unsigned * Ivy_ObjGetTruthStore( int ObjNum, Vec_Int_t * vTruth ) in Ivy_ObjGetTruthStore()
150 void Ivy_ManCutTruthOne( Ivy_Man_t * p, Ivy_Obj_t * pNode, Vec_Int_t * vTruth, int nWords ) in Ivy_ManCutTruthOne()
186 …th( Ivy_Man_t * p, Ivy_Obj_t * pRoot, Vec_Int_t * vLeaves, Vec_Int_t * vNodes, Vec_Int_t * vTruth ) in Ivy_ManCutTruth()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioWriteBench.c | 255 int Io_WriteBenchLutOneNode( FILE * pFile, Abc_Obj_t * pNode, Vec_Int_t * vTruth ) in Io_WriteBenchLutOneNode()
|
| H A D | io.c | 3040 Vec_Int_t * vTruth; in IoCommandWriteTruth() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsInt.h | 81 Vec_Int_t * vTruth; member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/scl/ |
| H A D | sclLiberty.c | 1436 Vec_Wrd_t * vTruth; in Scl_LibertyReadSclStr() local
|