| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitFactor.c | 108 Kit_Edge_t Kit_SopFactor_rec( Kit_Graph_t * pFForm, Kit_Sop_t * cSop, int nLits, Vec_Int_t * vMemor… in Kit_SopFactor_rec()
166 …torLF_rec( Kit_Graph_t * pFForm, Kit_Sop_t * cSop, Kit_Sop_t * cSimple, int nLits, Vec_Int_t * vMe… in Kit_SopFactorLF_rec()
202 int i, iLit = -1, nLits, nLits1, nLits2; in Kit_SopFactorTrivialCube_rec() local
247 Kit_Edge_t Kit_SopFactorTrivialCube( Kit_Graph_t * pFForm, unsigned uCube, int nLits ) in Kit_SopFactorTrivialCube()
263 Kit_Edge_t Kit_SopFactorTrivial_rec( Kit_Graph_t * pFForm, unsigned * pCubes, int nCubes, int nLits… in Kit_SopFactorTrivial_rec()
291 Kit_Edge_t Kit_SopFactorTrivial( Kit_Graph_t * pFForm, Kit_Sop_t * cSop, int nLits ) in Kit_SopFactorTrivial()
|
| H A D | kitSop.c | 68 void Kit_SopCreateInverse( Kit_Sop_t * cResult, Vec_Int_t * vInput, int nLits, Vec_Int_t * vMemory ) in Kit_SopCreateInverse()
370 int Kit_SopAnyLiteral( Kit_Sop_t * cSop, int nLits ) in Kit_SopAnyLiteral()
400 int Kit_SopWorstLiteral( Kit_Sop_t * cSop, int nLits ) in Kit_SopWorstLiteral()
454 int Kit_SopBestLiteral( Kit_Sop_t * cSop, int nLits, unsigned uMask ) in Kit_SopBestLiteral()
509 void Kit_SopDivisorZeroKernel_rec( Kit_Sop_t * cSop, int nLits ) in Kit_SopDivisorZeroKernel_rec()
534 int Kit_SopDivisor( Kit_Sop_t * cResult, Kit_Sop_t * cSop, int nLits, Vec_Int_t * vMemory ) in Kit_SopDivisor()
560 void Kit_SopBestLiteralCover( Kit_Sop_t * cResult, Kit_Sop_t * cSop, unsigned uCube, int nLits, Vec… in Kit_SopBestLiteralCover()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
| H A D | kitSop.c | 83 void Kit_SopCreateInverse( Kit_Sop_t * cResult, Vec_Int_t * vInput, int nLits, Vec_Int_t * vMemory ) in Kit_SopCreateInverse()
383 int Kit_SopAnyLiteral( Kit_Sop_t * cSop, int nLits ) in Kit_SopAnyLiteral()
413 int Kit_SopWorstLiteral( Kit_Sop_t * cSop, int nLits ) in Kit_SopWorstLiteral()
467 int Kit_SopBestLiteral( Kit_Sop_t * cSop, int nLits, unsigned uMask ) in Kit_SopBestLiteral()
522 void Kit_SopDivisorZeroKernel_rec( Kit_Sop_t * cSop, int nLits ) in Kit_SopDivisorZeroKernel_rec()
547 int Kit_SopDivisor( Kit_Sop_t * cResult, Kit_Sop_t * cSop, int nLits, Vec_Int_t * vMemory ) in Kit_SopDivisor()
573 void Kit_SopBestLiteralCover( Kit_Sop_t * cResult, Kit_Sop_t * cSop, unsigned uCube, int nLits, Vec… in Kit_SopBestLiteralCover()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigOutDec.c | 47 Vec_Ptr_t * Saig_ManFindPrimes( Aig_Man_t * pAig, int nLits, int fVerbose ) in Saig_ManFindPrimes()
150 Aig_Man_t * Saig_ManDecPropertyOutput( Aig_Man_t * pAig, int nLits, int fVerbose ) in Saig_ManDecPropertyOutput()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/ |
| H A D | cnfWrite.c | 97 int nLits = 0, Cube, i, b; in Cnf_SopCountLiterals() local
124 int nLits = 0, Cube, i, b; in Cnf_IsopCountLiterals() local
150 int nLits = nVars, b; in Cnf_IsopWriteCube() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
| H A D | intM114p.c | 159 int Inter_ManResolveM114p( Vec_Int_t * vResolvent, int * pLits, int nLits, int iVar ) in Inter_ManResolveM114p()
216 int nLits, nVars, i, k, v, iVar; in Inter_ManInterpolateM114pPudlak() local
326 int nLits, nVars, i, k, iVar; in Inter_ManpInterpolateM114() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/psat/ |
| H A D | m114p.h | 34 #define M114p_SolverForEachRoot( s, ppLits, nLits, i ) \ argument
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcMaj.c | 275 int nLits = 0; in Maj_ManAddCnfStart() local
333 int pLits[3], nLits = 0; in Maj_ManAddCnf() local
352 int pLits[3], nLits = 0; in Maj_ManAddCnf() local
678 int nLits = 0; in Exa_ManAddCnfStart() local
766 int pLits[3], nLits = 0; in Exa_ManAddCnf() local
785 int pLits[4], nLits = 0; in Exa_ManAddCnf() local
1114 int nLits = 0; in Exa3_ManAddCnfStart() local
1208 int pLits[3], nLits = 0; in Exa3_ManAddCnf() local
1227 int pLits[16], nLits = 0; in Exa3_ManAddCnf() local
1275 int pLits[16], nLits = 0; in Exa3_ManAddCnf2() local
|
| H A D | bmcMaj2.c | 371 int nLits = 0; in Maj_ManAddCnfStart() local
429 int pLits[3], nLits = 0; in Maj_ManAddCnf() local
448 int pLits[3], nLits = 0; in Maj_ManAddCnf() local
729 int nLits = 0; in Exa_ManAddCnfStart() local
817 int pLits[3], nLits = 0; in Exa_ManAddCnf() local
836 int pLits[4], nLits = 0; in Exa_ManAddCnf() local
1183 int nLits = 0; in Exa3_ManAddCnfStart() local
1275 int pLits[3], nLits = 0; in Exa3_ManAddCnf() local
1294 int pLits[8], nLits = 0; in Exa3_ManAddCnf() local
|
| H A D | bmcMaj3.c | 49 int nLits[3]; // neg, pos, fixed literal member
266 void Maj3_PrintClause( int * pLits, int nLits ) in Maj3_PrintClause()
275 int i, k, status, nLits, pLits[MAJ3_OBJS]; in Maj3_ManAddCnfStart() local
345 int pLits[5], nLits = 0; in Maj3_ManAddCnf() local
396 int nLits = Abc_MinInt(4 - p->nLits[2], p->nLits[1]); in Maj3_ManAddConstraintsLazy() local
570 int nLits[2]; // neg/pos literal member
660 int nLits = 0; in Zyx_ManAddCnfStart() local
671 int nLits = 0; in Zyx_ManAddCnfStart() local
727 void Zyx_PrintClause( int * pLits, int nLits ) in Zyx_PrintClause()
|
| H A D | bmcMaxi.c | 140 int nLits, * pLits; in Gia_ManMaxiPerform() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
| H A D | cnfWrite.c | 119 int nLits = 0, Cube, i, b; in Cnf_SopCountLiterals() local
146 int nLits = 0, Cube, i, b; in Cnf_IsopCountLiterals() local
172 int nLits = nVars, b; in Cnf_IsopWriteCube() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswSat.c | 48 int pLits[3], nLits, RetValue, RetValue1; in Ssw_NodesAreEquiv() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/exor/ |
| H A D | exor.c | 142 int v, nLits = 0, nLitsN = 0; in ComputeQCostBits() local
182 int v, nLits = 0; in ComputeQCostTcountBits() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEsop.c | 223 int Eso_ManFindDistOneLitEqual( int * pCube1, int * pCube2, int nLits ) // pCube1 and pCube2 both h… in Eso_ManFindDistOneLitEqual()
237 int Eso_ManFindDistOneLitNotEqual( int * pCube1, int * pCube2, int nLits ) // pCube1 has nLits; pCu… in Eso_ManFindDistOneLitNotEqual()
257 int Cube2, nLits = (Cube == p->Cube1) ? 0 : Vec_IntSize(vCube); in Eso_ManMinimizeAdd() local
|
| H A D | giaEquiv.c | 324 int i, nLits = 0; in Gia_ManEquivCountLitsAll() local
362 int Gia_ManEquivCheckLits( Gia_Man_t * p, int nLits ) in Gia_ManEquivCheckLits()
383 int i, Counter = 0, Counter0 = 0, CounterX = 0, Proved = 0, nLits; in Gia_ManPrintStatsClasses() local
446 int Ent, nLits = 1; in Gia_ManEquivCountOne() local
468 int i, Counter = 0, Counter0 = 0, CounterX = 0, Proved = 0, nLits; in Gia_ManEquivPrintClasses() local
1421 int f, nLits; in Gia_ManSpecReduceInitFrames() local
1522 int i, iLit, nAddPos, nLits = 0; in Gia_ManEquivMark() local
|
| H A D | giaFalse.c | 174 int nLits = 0, * pLits = NULL; in Gia_ManCheckFalseOne() local
364 int nLits = 0, * pLits = NULL; in Gia_ManCheckOne() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdSat.c | 146 int pLits[8], nLits, i, k, iLit, RetValue; in Sbd_ProblemLoad1() local
174 int pLits[8], nLits, i, k, iLit, RetValue; in Sbd_ProblemLoad2() local
596 int pLits[MAX_K+2], pLits2[MAX_K+2], nLits; in Sbd_SolverFunc() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
| H A D | dchCnf.c | 167 int * pLits, nLits, RetValue, i; in Dch_AddClausesSuper() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraCnf.c | 132 int * pLits, nLits, RetValue, i; in Fra_AddClausesSuper() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrUtil.c | 132 Pdr_Set_t * Pdr_SetCreateSubset( Pdr_Set_t * pSet, int * pLits, int nLits ) in Pdr_SetCreateSubset()
287 int i, j, nLits; in ZPdr_SetIntersection() local
|
| H A D | pdrInv.c | 806 int n, i, k, status, nLits, fFailed = 0, fCannot = 0, nRemoved = 0; in Pdr_InvMinimize() local
926 int i, k, nLits = 0, * pCube, * pList = Vec_IntArray(vInv), nRemoved = 0; in Pdr_InvMinimizeLits() local
965 int nLits = 0; in Pdr_InvMinimizeLits() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlc.c | 163 int i, v, nLits, pLits[6]; in Wlc_BlastFullAdderCtrlCnf() local
|
| H A D | wlcAbc.c | 254 int i, k, Value, nLits, Counter = 0; in Wlc_NtkGetPut() local
|
| /dports/security/vault/vault-1.8.2/vendor/github.com/klauspost/compress/flate/ |
| H A D | token.go | 129 nLits int member
|