| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauDsd2.c | 69 static inline word Abc_Tt6HalfUnShuffleVars( word t, int iVar, int fCof1 ) in Abc_Tt6HalfUnShuffleVars()
86 static inline void Abc_TtHalfUnShuffleVars( word * pTruth, int nVars, int iVar, int jVar, int fCof1… in Abc_TtHalfUnShuffleVars()
169 int Dua_DsdTryVar( word * pTruth, int nWords, int iVar ) in Dua_DsdTryVar()
223 int Dua_DsdCheckCof0Const0( word * pTruth, int nWords, int iVar ) in Dua_DsdCheckCof0Const0()
246 int Dua_DsdCheckCofsEqualNot( word * pTruth, int nWords, int iVar ) in Dua_DsdCheckCofsEqualNot()
305 int Dua_DsdTrySwap( word * pTruth, int nWords, int iVar ) in Dua_DsdTrySwap()
368 int Dua_DsdCheckDecomp( word * pTruth, int nWords, int iVar ) in Dua_DsdCheckDecomp()
468 word Dua_DsdRangeVars( word * pTruth, int nVars, int iVar, int jVar, int fPerform ) in Dua_DsdRangeVars()
563 int Dua_DsdRangeVars0( word * pTruth, int nVars, int iVar, int fPerform ) in Dua_DsdRangeVars0()
598 void Dua_DsdRangeVars0Derive( word * pTruth, int nVars, int iVar ) in Dua_DsdRangeVars0Derive()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/lucky/ |
| H A D | luckyFast6.c | 51 unsigned adjustInfoAfterSwap(char* pCanonPerm, unsigned uCanonPhase, int iVar, unsigned info) in adjustInfoAfterSwap()
73 word Extra_Truth6SwapAdjacent( word t, int iVar ) in Extra_Truth6SwapAdjacent()
86 word Extra_Truth6ChangePhase( word t, int iVar) in Extra_Truth6ChangePhase()
101 word Extra_Truth6MinimumRoundOne( word t, int iVar, char* pCanonPerm, unsigned* pCanonPhase ) in Extra_Truth6MinimumRoundOne()
158 word Extra_Truth6MinimumRoundOne_noEBFC( word t, int iVar, char* pCanonPerm, unsigned* pCanonPhase) in Extra_Truth6MinimumRoundOne_noEBFC()
|
| H A D | luckyFast16.c | 76 void updataInfo(int iQ, int jQ, int iVar, char * pCanonPerm, unsigned* pCanonPhase) in updataInfo()
131 int minTemp0_fast(word* pInOut, int iVar, int nWords, int* pDifStart) in minTemp0_fast()
157 int minTemp1_fast(word* pInOut, int iVar, int nWords, int* pDifStart) in minTemp1_fast()
182 int minTemp2_fast(word* pInOut, int iVar, int iQ, int jQ, int nWords, int* pDifStart) in minTemp2_fast()
205 int minTemp3_fast(word* pInOut, int iVar, int start, int finish, int iQ, int jQ, int* pDifStart) in minTemp3_fast()
229 void minimalSwapAndFlipIVar_superFast_lessThen5(word* pInOut, int iVar, int nWords, char * pCanonPe… in minimalSwapAndFlipIVar_superFast_lessThen5()
481 int minTemp0_fast_moreThen5(word* pInOut, int iVar, int nWords, int* pDifStart) in minTemp0_fast_moreThen5()
514 int minTemp1_fast_moreThen5(word* pInOut, int iVar, int nWords, int* pDifStart) in minTemp1_fast_moreThen5()
546 int minTemp2_fast_moreThen5(word* pInOut, int iVar, int iQ, int jQ, int nWords, int* pDifStart) in minTemp2_fast_moreThen5()
577 int minTemp3_fast_moreThen5(word* pInOut, int iVar, int start, int finish, int iQ, int jQ, int* pDi… in minTemp3_fast_moreThen5()
[all …]
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
| H A D | kitTruth.c | 62 void Kit_TruthSwapAdjacentVars( unsigned * pOut, unsigned * pIn, int nVars, int iVar ) in Kit_TruthSwapAdjacentVars()
249 int Kit_TruthVarInSupport( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthVarInSupport()
347 void Kit_TruthCofactor0( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor0()
398 void Kit_TruthCofactor1( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor1()
449 void Kit_TruthCofactor0New( unsigned * pOut, unsigned * pIn, int nVars, int iVar ) in Kit_TruthCofactor0New()
501 void Kit_TruthCofactor1New( unsigned * pOut, unsigned * pIn, int nVars, int iVar ) in Kit_TruthCofactor1New()
554 void Kit_TruthExist( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthExist()
608 void Kit_TruthExistNew( unsigned * pRes, unsigned * pTruth, int nVars, int iVar ) in Kit_TruthExistNew()
683 void Kit_TruthForall( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthForall()
1040 void Kit_TruthChangePhase( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthChangePhase()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llb1Cluster.c | 47 int iVar, Weight = 0; in Llb_ManComputeCommonQuant() local
136 int iVar, CountComm = 0, CountDiff = 0; in Llb_ManComputeCommonAttr() local
226 int iVar; in Llb_MtrCombineSelectedColumns() local
262 int iVar; in Llb_ManClusterOne() local
|
| H A D | llb1Sched.c | 84 int k, c, iVar, Counter; in Llb_MtrFindBestColumn() local
159 int iVar; in Llb_MtrUseSelectedColumn() local
196 int iVar, iGrp, Counter; in Llb_MtrVerifyColumns() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitTruth.c | 46 void Kit_TruthSwapAdjacentVars( unsigned * pOut, unsigned * pIn, int nVars, int iVar ) in Kit_TruthSwapAdjacentVars()
270 int Kit_TruthVarInSupport( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthVarInSupport()
368 void Kit_TruthCofactor0( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor0()
419 int Kit_TruthCofactor0Count( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor0Count()
470 void Kit_TruthCofactor1( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor1()
684 void Kit_TruthExist( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthExist()
813 void Kit_TruthForall( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthForall()
977 int Kit_TruthBooleanDiffCount( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthBooleanDiffCount()
1259 void Kit_TruthChangePhase( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthChangePhase()
1879 int i, iVar, Step, nWords, nBytes, nTotal; in Kit_TruthCountMinterms() local
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCSat2.c | 105 static inline int Cbs2_VarUnused( Cbs2_Man_t * p, int iVar ) { return Vec_Int… in Cbs2_VarUnused()
324 int iVar = Abc_Lit2Var(iLit); in Cbs2_ManSaveModel() local
336 int iVar = Abc_Lit2Var(iLit); in Cbs2_ManSaveModelAll() local
781 static inline int Cbs2_ManAnalyze( Cbs2_Man_t * p, int Level, int iVar, int iFan0, int iFan1 ) in Cbs2_ManAnalyze()
980 static inline int Cbs2_ManPropagateOne( Cbs2_Man_t * p, int iVar, int Level ) in Cbs2_ManPropagateOne()
1039 static inline int Cbs2_ManPropagateTwo( Cbs2_Man_t * p, int iVar, int Level ) in Cbs2_ManPropagateTwo()
1073 static inline void Cbs2_ManPropagateUnassigned( Cbs2_Man_t * p, int iVar, int Level ) in Cbs2_ManPropagateUnassigned()
1107 int i, k, iVar, iLit, hClause; in Cbs2_ManPropagate() local
1209 int i, iVar, iLit, iJustTailOld = p->pJust.iTail; in Cbs2_ManUpdateFrontier() local
1258 int hClause, hLearn0, hLearn1, iVar, iDecLit; in Cbs2_ManSolve1_rec() local
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilTruth.c | 114 void Extra_TruthSwapAdjacentVars( unsigned * pOut, unsigned * pIn, int nVars, int iVar ) in Extra_TruthSwapAdjacentVars()
301 int Extra_TruthVarInSupport( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthVarInSupport()
399 void Extra_TruthCofactor1( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthCofactor1()
450 void Extra_TruthCofactor0( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthCofactor0()
502 void Extra_TruthExist( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthExist()
556 void Extra_TruthForall( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthForall()
611 void Extra_TruthMux( unsigned * pOut, unsigned * pCof0, unsigned * pCof1, int nVars, int iVar ) in Extra_TruthMux()
719 void Extra_TruthChangePhase( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthChangePhase()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/objc.dg/property/ |
| H A D | property-neg-6.m | 6 int iVar; field
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/obj-c++.dg/property/ |
| H A D | property-neg-6.mm | 6 int iVar; field
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/obj-c++.dg/property/ |
| H A D | property-neg-6.mm | 6 int iVar; field
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/objc.dg/property/ |
| H A D | property-neg-6.m | 6 int iVar; field
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/obj-c++.dg/property/ |
| H A D | property-neg-6.mm | 6 int iVar; field
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/obj-c++.dg/property/ |
| H A D | property-neg-6.mm | 6 int iVar; field
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/objc.dg/property/ |
| H A D | property-neg-6.m | 6 int iVar; field
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/obj-c++.dg/property/ |
| H A D | property-neg-6.mm | 6 int iVar; field
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/objc.dg/property/ |
| H A D | property-neg-6.m | 6 int iVar; field
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/objc.dg/property/ |
| H A D | property-neg-6.m | 6 int iVar; field
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/obj-c++.dg/property/ |
| H A D | property-neg-6.mm | 6 int iVar; field
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/objc.dg/property/ |
| H A D | property-neg-6.m | 6 int iVar; field
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/obj-c++.dg/property/ |
| H A D | property-neg-6.mm | 6 int iVar; field
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/objc.dg/property/ |
| H A D | property-neg-6.m | 6 int iVar; field
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/obj-c++.dg/property/ |
| H A D | property-neg-6.mm | 6 int iVar; field
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/objc.dg/property/ |
| H A D | property-neg-6.m | 6 int iVar; field
|