| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
| H A D | hopUtil.c | 322 void Hop_ObjPrintEqn( FILE * pFile, Hop_Obj_t * pObj, Vec_Vec_t * vLevels, int Level ) in Hop_ObjPrintEqn()
369 void Hop_ObjPrintVerilog( FILE * pFile, Hop_Obj_t * pObj, Vec_Vec_t * vLevels, int Level, int fOnly… in Hop_ObjPrintVerilog()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsCore_.c | 214 Vec_Vec_t * vLevels; in Abc_NtkMfs() local
|
| H A D | mfsCore.c | 385 Vec_Vec_t * vLevels; in Abc_NtkMfs() local
|
| H A D | mfsInt.h | 92 Vec_Vec_t * vLevels; // levelized structure for updating member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
| H A D | resCore.c | 47 Vec_Vec_t * vLevels; // levelized structure for updating member
185 … Res_UpdateNetwork( Abc_Obj_t * pObj, Vec_Ptr_t * vFanins, Hop_Obj_t * pFunc, Vec_Vec_t * vLevels ) in Res_UpdateNetwork()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmNtk.c | 111 static inline int Sfm_ObjLevelNew( Vec_Int_t * vArray, Vec_Int_t * vLevels, int fAddLevel ) in Sfm_ObjLevelNew()
118 void Sfm_CreateLevel( Vec_Wec_t * vFanins, Vec_Int_t * vLevels, Vec_Str_t * vEmpty ) in Sfm_CreateLevel()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioWriteEqn.c | 90 Vec_Vec_t * vLevels; in Io_NtkWriteEqnOne() local
|
| H A D | ioWriteVerilog.c | 489 Vec_Vec_t * vLevels; in Io_WriteVerilogObjects() local
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigUtil.c | 472 void Aig_ObjPrintEqn( FILE * pFile, Aig_Obj_t * pObj, Vec_Vec_t * vLevels, int Level ) in Aig_ObjPrintEqn()
519 void Aig_ObjPrintVerilog( FILE * pFile, Aig_Obj_t * pObj, Vec_Vec_t * vLevels, int Level ) in Aig_ObjPrintVerilog()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaDfs.c | 406 Vec_Vec_t * vLevels; in Gia_ManLevelize() local
434 Vec_Vec_t * vLevels; in Gia_ManOrderReverse() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcDfs.c | 1282 void Abc_DfsLevelizedTfo_rec( Abc_Obj_t * pNode, Vec_Vec_t * vLevels ) in Abc_DfsLevelizedTfo_rec()
1315 Vec_Vec_t * vLevels; in Abc_DfsLevelized() local
1426 Vec_Vec_t * vLevels; in Abc_NtkLevelize() local
1835 Vec_Ptr_t * vNodes, * vLevels; in Abc_AigGetLevelizedOrder() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/bdc/ |
| H A D | bdcSpfd.c | 114 void Bdc_SpfdPrint_rec( Bdc_Nod_t * pNode, int Level, Vec_Ptr_t * vLevels ) in Bdc_SpfdPrint_rec()
158 void Bdc_SpfdPrint( Bdc_Nod_t * pNode, int Level, Vec_Ptr_t * vLevels, word Truth ) in Bdc_SpfdPrint()
181 Vec_Ptr_t * vLevels; in Bdc_SpfdDecompose() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecWec.h | 57 #define Vec_WecForEachLevelVec( vLevels, vGlob, vVec, i ) \ argument
688 static inline void Vec_WecMarkLevels( Vec_Wec_t * vCubes, Vec_Int_t * vLevels ) in Vec_WecMarkLevels()
698 static inline void Vec_WecUnmarkLevels( Vec_Wec_t * vCubes, Vec_Int_t * vLevels ) in Vec_WecUnmarkLevels()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcMaj3.c | 45 Vec_Int_t * vLevels; // distriction of nodes by levels member
89 void Maj3_ManFirstAndLevel( Vec_Int_t * vLevels, int Firsts[MAJ3_OBJS], int Levels[MAJ3_OBJS], int … in Maj3_ManFirstAndLevel()
417 Maj3_Man_t * Maj3_ManAlloc( int nVars, int nNodes, Vec_Int_t * vLevels ) in Maj3_ManAlloc()
450 int Maj3_ManExactSynthesis( int nVars, int nNodes, int fVerbose, Vec_Int_t * vLevels ) in Maj3_ManExactSynthesis()
524 Vec_Int_t vLevels = { 4, 4, Levels }; in Maj3_ManTest() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcTiming.c | 1280 void Abc_NtkUpdateLevel( Abc_Obj_t * pObjNew, Vec_Vec_t * vLevels ) in Abc_NtkUpdateLevel()
1332 void Abc_NtkUpdateReverseLevel( Abc_Obj_t * pObjNew, Vec_Vec_t * vLevels ) in Abc_NtkUpdateReverseLevel()
1381 void Abc_NtkUpdate( Abc_Obj_t * pObj, Abc_Obj_t * pObjNew, Vec_Vec_t * vLevels ) in Abc_NtkUpdate()
|
| H A D | abcReconv.c | 45 Vec_Vec_t * vLevels; // the data structure to compute TFO nodes member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrMan.c | 49 Vec_Wec_t * vLevels; in Pdr_ManDeriveFlopPriorities3() local
|
| /dports/games/bzflag-server/bzflag-2.4.22/src/geometry/ |
| H A D | TriWallSceneNode.cxx | 211 int uLevels = 1, vLevels = 1; in TriWallSceneNode() local
|
| H A D | QuadWallSceneNode.cxx | 264 int uLevels = 1, vLevels = 1; in init() local
|
| /dports/games/bzflag/bzflag-2.4.22/src/geometry/ |
| H A D | TriWallSceneNode.cxx | 211 int uLevels = 1, vLevels = 1; in TriWallSceneNode() local
|
| H A D | QuadWallSceneNode.cxx | 264 int uLevels = 1, vLevels = 1; in init() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/ |
| H A D | Fxch.h | 108 Vec_Int_t* vLevels; /* variable levels */ member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigUtil.c | 519 void Aig_ObjPrintEqn( FILE * pFile, Aig_Obj_t * pObj, Vec_Vec_t * vLevels, int Level ) in Aig_ObjPrintEqn()
566 void Aig_ObjPrintVerilog( FILE * pFile, Aig_Obj_t * pObj, Vec_Vec_t * vLevels, int Level ) in Aig_ObjPrintVerilog()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
| H A D | nwkDfs.c | 272 Vec_Vec_t * vLevels; in Nwk_ManLevelize() local
|
| H A D | nwkTiming.c | 860 void Nwk_ManUpdate( Nwk_Obj_t * pObj, Nwk_Obj_t * pObjNew, Vec_Vec_t * vLevels ) in Nwk_ManUpdate()
|