/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/ |
H A D | mapperCanon.c | 48 int Map_CanonComputeSlow( unsigned uTruths[][2], int nVarsMax, int nVarsReal, unsigned uTruth[], un… in Map_CanonComputeSlow() 112 unsigned Map_CanonComputePhase( unsigned uTruths[][2], int nVars, unsigned uTruth, unsigned uPhase ) in Map_CanonComputePhase() 132 void Map_CanonComputePhase6( unsigned uTruths[][2], int nVars, unsigned uTruth[], unsigned uPhase, … in Map_CanonComputePhase6() 173 int Map_CanonComputeFast( Map_Man_t * p, int nVarsMax, int nVarsReal, unsigned uTruth[], unsigned c… in Map_CanonComputeFast()
|
H A D | mapperTruth.c | 97 unsigned uTruth[2], uCanon[2]; in Map_TruthsCut() local 197 void Map_TruthsCutOne( Map_Man_t * p, Map_Cut_t * pCut, unsigned uTruth[] ) in Map_TruthsCutOne()
|
H A D | mapperTable.c | 137 int Map_SuperTableInsert( Map_HashTable_t * p, unsigned uTruth[], Map_Super_t * pGate, unsigned uPh… in Map_SuperTableInsert() 183 Map_Super_t * Map_SuperTableLookupC( Map_SuperLib_t * p, unsigned uTruth[] ) in Map_SuperTableLookupC() 208 Map_Super_t * Map_SuperTableLookup( Map_HashTable_t * p, unsigned uTruth[], unsigned * puPhase ) in Map_SuperTableLookup()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyDsd.c | 83 static inline int Ivy_TruthCofactorIsConst( unsigned uTruth, int Var, int Cof, int Const ) in Ivy_TruthCofactorIsConst() 91 static inline int Ivy_TruthCofactorIsOne( unsigned uTruth, int Var ) in Ivy_TruthCofactorIsOne() 96 static inline unsigned Ivy_TruthCofactor( unsigned uTruth, int Var ) in Ivy_TruthCofactor() 105 static inline unsigned Ivy_TruthCofactor2( unsigned uTruth, int Var0, int Var1 ) in Ivy_TruthCofactor2() 111 static inline int Ivy_TruthDepends( unsigned uTruth, int Var ) in Ivy_TruthDepends() 166 int Ivy_TruthDsd( unsigned uTruth, Vec_Int_t * vTree ) in Ivy_TruthDsd() 219 int Ivy_TruthDecompose_rec( unsigned uTruth, Vec_Int_t * vTree ) in Ivy_TruthDecompose_rec() 319 int Ivy_TruthRecognizeMuxMaj( unsigned uTruth, int * pSupp, int nSupp, Vec_Int_t * vTree ) in Ivy_TruthRecognizeMuxMaj() 678 void Ivy_TruthDsdComputePrint( unsigned uTruth ) in Ivy_TruthDsdComputePrint() 700 void Ivy_TruthTestOne( unsigned uTruth ) in Ivy_TruthTestOne()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
H A D | darCut.c | 418 static inline unsigned Dar_CutTruthSwapAdjacentVars( unsigned uTruth, int iVar ) in Dar_CutTruthSwapAdjacentVars() 442 static inline unsigned Dar_CutTruthSwapPolarity( unsigned uTruth, int iVar ) in Dar_CutTruthSwapPolarity() 470 static inline unsigned Dar_CutTruthStretch( unsigned uTruth, int nVars, unsigned Phase ) in Dar_CutTruthStretch() 497 static inline unsigned Dar_CutTruthShrink( unsigned uTruth, int nVars, unsigned Phase ) in Dar_CutTruthShrink() 521 unsigned Dar_CutSortVars( unsigned uTruth, int * pVars ) in Dar_CutSortVars() 608 unsigned uPhase = 0, uTruth = 0xFFFF & pCut->uTruth; in Dar_CutSuppMinimize() local
|
H A D | darPrec.c | 254 unsigned Dar_TruthPolarize( unsigned uTruth, int Polarity, int nVars ) in Dar_TruthPolarize() 297 unsigned uTruth, uPhase, uPerm; in Dar_Truth4VarNPN() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwr/ |
H A D | rwrLib.c | 138 unsigned uTruth; in Rwr_ManTryNode() local 209 unsigned uTruth; in Rwr_ManAddNode() local 253 Rwr_Node_t * Rwr_ManAddVar( Rwr_Man_t * p, unsigned uTruth, int fPrecompute ) in Rwr_ManAddVar()
|
H A D | rwrExp.c | 93 void Rwt_Man4ExploreCount( unsigned uTruth ) in Rwt_Man4ExploreCount() 202 void Rwt_Man5ExploreCount( unsigned uTruth ) in Rwt_Man5ExploreCount() 228 unsigned uTruth, uTruthC; in Rwt_Man5ExplorePrint() local
|
H A D | rwrPrint.c | 210 unsigned uTruth; in Rwr_NodePrint() local 241 unsigned uTruth; in Rwr_ManPrint() local
|
H A D | rwrEva.c | 67 unsigned uTruth; in Rwr_NodeRewrite() local 261 unsigned uTruth; in Rwr_CutEvaluate() local 557 unsigned uTruth; in Rwr_ScoresReport() local
|
H A D | rwrTemp.c | 76 unsigned uTruth; in Rwr_Temp() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcNpnSave.c | 36 word uTruth; // truth table member 191 word Npn_TruthPadWord( word uTruth, int nVars ) in Npn_TruthPadWord() 374 static inline int Npn_ManHash( Npn_Man_t * p, word uTruth ) in Npn_ManHash() 437 Npn_Obj_t * Npn_ManAdd( Npn_Man_t * p, word uTruth ) in Npn_ManAdd() 488 word uTruth; in Npn_ManRead() local 716 word uTruth = (((word)puTruth[1]) << 32) | (word)puTruth[0]; in Npn_ManSaveOne() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
H A D | extraUtilMisc.c | 440 unsigned Extra_TruthCanonN( unsigned uTruth, int nVars ) in Extra_TruthCanonN() 466 unsigned Extra_TruthCanonNN( unsigned uTruth, int nVars ) in Extra_TruthCanonNN() 496 unsigned Extra_TruthCanonP( unsigned uTruth, int nVars ) in Extra_TruthCanonP() 539 unsigned Extra_TruthCanonNP( unsigned uTruth, int nVars ) in Extra_TruthCanonNP() 647 unsigned uTruth, uPhase, uPerm; in Extra_Truth4VarNPN() local 751 unsigned uTruth, uPhase, uTruth32; in Extra_Truth3VarN() local 818 unsigned uTruth, uPhase; in Extra_Truth4VarN() local 1912 unsigned uTruth; in Extra_TruthPerm43() local 1938 unsigned uTruth; in Extra_TruthPerm53() local 1964 unsigned uTruth; in Extra_TruthPerm54() local [all …]
|
H A D | extraUtilCanon.c | 636 unsigned uTruth; in Map_Var3Test() local 669 unsigned uTruth; in Map_Var4Test() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmSat.c | 164 word * pSign, uCube, uTruth = 0; in Sfm_ComputeInterpolant() local 245 word uTruth; in Sfm_ComputeInterpolantCheck() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
H A D | darCut.c | 406 static inline unsigned Dar_CutTruthSwapAdjacentVars( unsigned uTruth, int iVar ) in Dar_CutTruthSwapAdjacentVars() 432 static inline unsigned Dar_CutTruthStretch( unsigned uTruth, int nVars, unsigned Phase ) in Dar_CutTruthStretch() 459 static inline unsigned Dar_CutTruthShrink( unsigned uTruth, int nVars, unsigned Phase ) in Dar_CutTruthShrink() 511 unsigned uPhase = 0, uTruth = 0xFFFF & pCut->uTruth; in Dar_CutSuppMinimize() local
|
H A D | darPrec.c | 269 unsigned Dar_TruthPolarize( unsigned uTruth, int Polarity, int nVars ) in Dar_TruthPolarize() 312 unsigned uTruth, uPhase, uPerm; in Dar_Truth4VarNPN() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbPush.c | 154 word uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjSuppMin_int() local 172 word c00, c11, uTruthNew, uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjRemoveDup() local 204 word uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjRemoveConst() local 223 word uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjRemoveBufInv() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwt/ |
H A D | rwtUtil.c | 446 Rwt_Node_t * Rwt_ManAddVar( Rwt_Man_t * p, unsigned uTruth, int fPrecompute ) in Rwt_ManAddVar() 480 unsigned uTruth; in Rwt_ManAddNode() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/dec/ |
H A D | decUtil.c | 105 unsigned uTruth = 0; // Suppress "might be used uninitialized" in Dec_GraphDeriveTruth() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/ |
H A D | mio.h | 53 word uTruth; // truth table member 67 word uTruth; // truth table member
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/ |
H A D | cnfData.c | 4603 int uTruth = 0, uCube, Lit; in Cnf_ReadMsops() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
H A D | cnfData.c | 4588 int uTruth = 0, uCube, Lit; in Cnf_ReadMsops() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmDsd.c | 857 word uTruth = s_DsdClass6[i].uTruth; in Mpm_ManPrecomputePerms() local 886 word uTruth = pMan->pDsd6[iClass].uTruth; in Mpm_CutTruthFromDsd() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/super/ |
H A D | superAnd.c | 59 unsigned uTruth; // the truth table of this supergate member 340 unsigned uTruth, uTruthR, uTruth1, uTruth2, uTruth1c, uTruth2c; in Super2_LibCompute() local 544 unsigned uTruth; in Super2_LibWriteGate() local
|