Home
last modified time | relevance | path

Searched refs:uTruth (Results 1 – 25 of 125) sorted by relevance

12345

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarPrec.c268 uTruthRes = uTruth; in Dar_TruthPolarize()
277 uTruth = uCof0 | uCof1; in Dar_TruthPolarize()
279 return uTruth; in Dar_TruthPolarize()
297 unsigned uTruth, uPhase, uPerm; in Dar_Truth4VarNPN() local
311 for ( uTruth = 1; uTruth < (unsigned)nFuncs; uTruth++ ) in Dar_Truth4VarNPN()
314 if ( uCanons[uTruth] ) in Dar_Truth4VarNPN()
316 assert( uTruth > uCanons[uTruth] ); in Dar_Truth4VarNPN()
317 uMap[~uTruth & 0xFFFF] = uMap[uTruth] = uMap[uCanons[uTruth]]; in Dar_Truth4VarNPN()
320 uMap[uTruth] = nClasses++; in Dar_Truth4VarNPN()
365 for ( uTruth = 1; uTruth < 0xffff; uTruth++ ) in Dar_Truth4VarNPN()
[all …]
H A DdarCut.c422 return (uTruth & 0x99999999) | ((uTruth & 0x22222222) << 1) | ((uTruth & 0x44444444) >> 1); in Dar_CutTruthSwapAdjacentVars()
424 return (uTruth & 0xC3C3C3C3) | ((uTruth & 0x0C0C0C0C) << 2) | ((uTruth & 0x30303030) >> 2); in Dar_CutTruthSwapAdjacentVars()
426 return (uTruth & 0xF00FF00F) | ((uTruth & 0x00F000F0) << 4) | ((uTruth & 0x0F000F00) >> 4); in Dar_CutTruthSwapAdjacentVars()
481 return uTruth; in Dar_CutTruthStretch()
533 uTruth = Dar_CutTruthSwapPolarity( uTruth, i ); in Dar_CutSortVars()
551 uTruth = Dar_CutTruthSwapAdjacentVars( uTruth, i ); in Dar_CutSortVars()
582 unsigned uTruth0 = fCompl0 ? ~pCut0->uTruth : pCut0->uTruth; in Dar_CutTruth()
583 unsigned uTruth1 = fCompl1 ? ~pCut1->uTruth : pCut1->uTruth; in Dar_CutTruth()
608 unsigned uPhase = 0, uTruth = 0xFFFF & pCut->uTruth; in Dar_CutSuppMinimize() local
621 uTruth = Dar_CutTruthShrink( uTruth, pCut->nLeaves, uPhase ); in Dar_CutSuppMinimize()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwr/
H A DrwrLib.c106 if ( p0->uTruth == p->puCanons[p0->uTruth] ) in Rwr_ManPrecompute()
138 unsigned uTruth; in Rwr_ManTryNode() local
144 uTruth = (p0->uTruth ^ p1->uTruth); in Rwr_ManTryNode()
147 uTruth = (Rwr_IsComplement(p0)? ~Rwr_Regular(p0)->uTruth : Rwr_Regular(p0)->uTruth) & in Rwr_ManTryNode()
176 if ( p->pTable[uTruth] == NULL && p->puCanons[uTruth] == uTruth ) in Rwr_ManTryNode()
182 pNew->uTruth = uTruth; in Rwr_ManTryNode()
213 uTruth = (p0->uTruth ^ p1->uTruth); in Rwr_ManAddNode()
215 uTruth = (Rwr_IsComplement(p0)? ~Rwr_Regular(p0)->uTruth : Rwr_Regular(p0)->uTruth) & in Rwr_ManAddNode()
221 pNew->uTruth = uTruth; in Rwr_ManAddNode()
231 if ( uTruth != p->puCanons[uTruth] ) in Rwr_ManAddNode()
[all …]
H A DrwrExp.c93 void Rwt_Man4ExploreCount( unsigned uTruth ) in Rwt_Man4ExploreCount() argument
95 assert( uTruth < (1<<16) ); in Rwt_Man4ExploreCount()
202 void Rwt_Man5ExploreCount( unsigned uTruth ) in Rwt_Man5ExploreCount() argument
228 unsigned uTruth, uTruthC; in Rwt_Man5ExplorePrint() local
253 pReprs[ Counter ] = uTruth; in Rwt_Man5ExplorePrint()
270 Vec_IntPush( vClassesNN, (int)uTruth ); in Rwt_Man5ExplorePrint()
275 Vec_IntForEachEntry( vClassesNN, uTruth, i ) in Rwt_Man5ExplorePrint()
281 Extra_PrintHex( pFile, &uTruth, 5 ); in Rwt_Man5ExplorePrint()
290 Vec_IntForEachEntry( vClassesNN, uTruth, i ) in Rwt_Man5ExplorePrint()
308 Vec_IntPush( vClassesNPN, (int)uTruth ); in Rwt_Man5ExplorePrint()
[all …]
H A DrwrPrint.c74 if ( pNode->uTruth != p->puCanons[pNode->uTruth] ) in Rwr_GetBushVolume()
100 if ( pNode->uTruth != p->puCanons[pNode->uTruth] ) in Rwr_GetBushSumOfVolumes()
210 unsigned uTruth; in Rwr_NodePrint() local
212 uTruth = pNode->uTruth; in Rwr_NodePrint()
213 Extra_PrintHex( pFile, &uTruth, 4 ); in Rwr_NodePrint()
215 Extra_PrintBinary( pFile, &uTruth, 16 ); in Rwr_NodePrint()
241 unsigned uTruth; in Rwr_ManPrint() local
255 uTruth = i; in Rwr_ManPrint()
256 Extra_PrintBinary( pFile, &uTruth, 16 ); in Rwr_ManPrint()
259 if ( pNode->uTruth == p->puCanons[pNode->uTruth] ) in Rwr_ManPrint()
H A DrwrDec.c65 assert( pNode->uTruth == p->pTable[i]->uTruth ); in Rwr_ManPreprocess()
66 assert( p->pMap[pNode->uTruth] < 222 ); // Guaranteed to be >=0 b/c unsigned in Rwr_ManPreprocess()
67 Vec_VecPush( p->vClasses, p->pMap[pNode->uTruth], pNode ); in Rwr_ManPreprocess()
68 p->pMapInv[ p->pMap[pNode->uTruth] ] = p->puCanons[pNode->uTruth]; in Rwr_ManPreprocess()
76 assert( pNode->uTruth == (Dec_GraphDeriveTruth(pGraph) & 0xFFFF) ); in Rwr_ManPreprocess()
97 if ( pNode->uTruth == 0 ) in Rwr_NodePreprocess()
100 if ( pNode->uTruth == 0x00FF ) in Rwr_NodePreprocess()
H A DrwrTemp.c76 unsigned uTruth; in Rwr_Temp() local
84 Extra_ReadHexadecimal( &uTruth, Buffer+2, 5 ); in Rwr_Temp()
85 pTruths[i] = uTruth; in Rwr_Temp()
108 uTruth = pTruths[pPerm[i]]; in Rwr_Temp()
110 if ( uTruth & (1 << k) ) in Rwr_Temp()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/
H A DmapperTable.c102 if ( pEnt->uTruth[0] == uTruthC[0] && pEnt->uTruth[1] == uTruthC[1] ) in Map_SuperTableInsertC()
110 pEnt->uTruth[0] = uTruthC[0]; in Map_SuperTableInsertC()
145 Key = MAP_TABLE_HASH( uTruth[0], uTruth[1], p->nBins ); in Map_SuperTableInsert()
147 if ( pEnt->uTruth[0] == uTruth[0] && pEnt->uTruth[1] == uTruth[1] ) in Map_SuperTableInsert()
152 pEnt->uTruth[0] = uTruth[0]; in Map_SuperTableInsert()
153 pEnt->uTruth[1] = uTruth[1]; in Map_SuperTableInsert()
187 Key = MAP_TABLE_HASH( uTruth[0], uTruth[1], p->tTableC->nBins ); in Map_SuperTableLookupC()
189 if ( pEnt->uTruth[0] == uTruth[0] && pEnt->uTruth[1] == uTruth[1] ) in Map_SuperTableLookupC()
212 Key = MAP_TABLE_HASH( uTruth[0], uTruth[1], p->nBins ); in Map_SuperTableLookup()
214 if ( pEnt->uTruth[0] == uTruth[0] && pEnt->uTruth[1] == uTruth[1] ) in Map_SuperTableLookup()
[all …]
H A DmapperCanon.c60 uTruthPerm[0] = Map_CanonComputePhase( uTruths, nVarsMax, uTruth[0], m ); in Map_CanonComputeSlow()
81 Map_CanonComputePhase6( uTruths, nVarsMax, uTruth, m, uTruthPerm ); in Map_CanonComputeSlow()
112 unsigned Map_CanonComputePhase( unsigned uTruths[][2], int nVars, unsigned uTruth, unsigned uPhase ) in Map_CanonComputePhase() argument
117 uTruth = (((uTruth & ~uTruths[v][0]) << Shift) | ((uTruth & uTruths[v][0]) >> Shift)); in Map_CanonComputePhase()
118 return uTruth; in Map_CanonComputePhase()
138 uTruthRes[0] = uTruth[0]; in Map_CanonComputePhase6()
139 uTruthRes[1] = uTruth[1]; in Map_CanonComputePhase6()
181 return Map_CanonComputeSlow( p->uTruths, nVarsMax, nVarsReal, uTruth, puPhases, uTruthRes ); in Map_CanonComputeFast()
187 uTruth0 = uTruth[0] & 0xFFFF; in Map_CanonComputeFast()
197 uTruth0 = uTruth[0] & 0xFFFF; in Map_CanonComputeFast()
[all …]
H A DmapperTruth.c29 extern void Map_TruthsCutOne( Map_Man_t * p, Map_Cut_t * pCut, unsigned uTruth[] );
97 unsigned uTruth[2], uCanon[2]; in Map_TruthsCut() local
118 Map_TruthsCutOne( p, pCut, uTruth ); in Map_TruthsCut()
123 Map_CanonComputeFast( p, p->nVarsMax, pCut->nLeaves, uTruth, uPhases, uCanon ); in Map_TruthsCut()
150 uTruth[0] = ~uTruth[0]; in Map_TruthsCut()
151 uTruth[1] = ~uTruth[1]; in Map_TruthsCut()
182 uTruth[0] = ~uTruth[0]; in Map_TruthsCut()
183 uTruth[1] = ~uTruth[1]; in Map_TruthsCut()
197 void Map_TruthsCutOne( Map_Man_t * p, Map_Cut_t * pCut, unsigned uTruth[] ) in Map_TruthsCutOne() argument
263 uTruth[0] = pTemp->M[0].uPhaseBest; in Map_TruthsCutOne()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcNpnSave.c196 …uTruth = ((uTruth & ABC_CONST(0x00000000FFFFFFFF)) << 32) | (uTruth & ABC_CONST(0x00000000FFFFFFFF… in Npn_TruthPadWord()
198 …uTruth = ((uTruth & ABC_CONST(0x0000FFFF0000FFFF)) << 16) | (uTruth & ABC_CONST(0x0000FFFF0000FFFF… in Npn_TruthPadWord()
200 …uTruth = ((uTruth & ABC_CONST(0x00FF00FF00FF00FF)) << 8) | (uTruth & ABC_CONST(0x00FF00FF00FF00FF… in Npn_TruthPadWord()
202 …uTruth = ((uTruth & ABC_CONST(0x0F0F0F0F0F0F0F0F)) << 4) | (uTruth & ABC_CONST(0x0F0F0F0F0F0F0F0F… in Npn_TruthPadWord()
204 …uTruth = ((uTruth & ABC_CONST(0x3333333333333333)) << 2) | (uTruth & ABC_CONST(0x3333333333333333… in Npn_TruthPadWord()
206 …uTruth = ((uTruth & ABC_CONST(0x5555555555555555)) << 1) | (uTruth & ABC_CONST(0x5555555555555555… in Npn_TruthPadWord()
376 word Key = (uTruth * (word)101) ^ (uTruth * (word)733) ^ (uTruth * (word)1777); in Npn_ManHash()
453 if ( pEntry->uTruth == uTruth ) in Npn_ManAdd()
462 pEntry->uTruth = uTruth; in Npn_ManAdd()
727 uTruth = Npn_TruthPadWord( uTruth, nVars ); in Npn_ManSaveOne()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyDsd.c113 return Ivy_TruthCofactor(uTruth, Var << 1) != Ivy_TruthCofactor(uTruth, (Var << 1) | 1); in Ivy_TruthDepends()
175 if ( uTruth == 0 || ~uTruth == 0 ) in Ivy_TruthDsd()
179 Node.fCompl = (uTruth == 0); in Ivy_TruthDsd()
265 nVars = Count1, pVars = Vars1, Node.Type = IVY_DEC_AND, fCompl = 1, uTruth = ~uTruth; in Ivy_TruthDecompose_rec()
273 uTruthCof = uTruth; in Ivy_TruthDecompose_rec()
742 unsigned uTruth;
753 uTruth |= (uTruth << 16);
755 Ivy_TruthTestOne( uTruth );
775 unsigned uTruth;
783 uTruth = uTruth | (uTruth << 8) | (uTruth << 16) | (uTruth << 24);
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/super/
H A DsuperAnd.c386 uTruthR = ((uTruth & pLibNew->uMaskBit)? Mask & ~uTruth : uTruth); in Super2_LibCompute()
393 pGateNew->uTruth = uTruth; in Super2_LibCompute()
400 uTruthR = ((uTruth & pLibNew->uMaskBit)? Mask & ~uTruth : uTruth); in Super2_LibCompute()
407 pGateNew->uTruth = uTruth; in Super2_LibCompute()
414 uTruthR = ((uTruth & pLibNew->uMaskBit)? Mask & ~uTruth : uTruth); in Super2_LibCompute()
421 pGateNew->uTruth = uTruth; in Super2_LibCompute()
428 uTruthR = ((uTruth & pLibNew->uMaskBit)? Mask & ~uTruth : uTruth); in Super2_LibCompute()
435 pGateNew->uTruth = uTruth; in Super2_LibCompute()
522 uTruth1 = (pG1->uTruth & s_uMaskBit)? s_uMaskAll & ~pG1->uTruth : pG1->uTruth; in Super2_LibCompareGates()
523 uTruth2 = (pG2->uTruth & s_uMaskBit)? s_uMaskAll & ~pG2->uTruth : pG2->uTruth; in Super2_LibCompareGates()
[all …]
H A DsuperGate.c316 pMan->pGates[v]->uTruth[1] = pMan->pGates[v]->uTruth[0]; in Super_First()
349 unsigned uTruth[2], uTruths[6][2]; in Super_Compute() local
800 Key = pGate->uTruth[0] ^ pGate->uTruth[1]; in Super_AddGateToTable()
833 if ( uTruth[0] == 0 || ~uTruth[0] == 0 ) in Super_CompareGates()
838 if ( ( uTruth[0] == 0 && uTruth[1] == 0 ) || ( ~uTruth[0] == 0 && ~uTruth[1] == 0 ) ) in Super_CompareGates()
844 Key = uTruth[0] ^ uTruth[1]; in Super_CompareGates()
853 if ( pGate->uTruth[0] != uTruth[0] || pGate->uTruth[1] != uTruth[1] ) in Super_CompareGates()
914 pSuper->uTruth[0] = uTruth[0]; in Super_CreateGateNew()
915 pSuper->uTruth[1] = uTruth[1]; in Super_CreateGateNew()
1260 if ( pGateNext->uTruth[0] != pGate->uTruth[0] || pGateNext->uTruth[1] != pGate->uTruth[1] ) in Super_WriteLibrary()
[all …]
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/
H A DdarPrec.c283 uTruthRes = uTruth; in Dar_TruthPolarize()
287 uCof0 = uTruth & ~Signs[v]; in Dar_TruthPolarize()
288 uCof1 = uTruth & Signs[v]; in Dar_TruthPolarize()
292 uTruth = uCof0 | uCof1; in Dar_TruthPolarize()
294 return uTruth; in Dar_TruthPolarize()
312 unsigned uTruth, uPhase, uPerm; in Dar_Truth4VarNPN() local
330 for ( uTruth = 1; uTruth < (unsigned)nFuncs; uTruth++ ) in Dar_Truth4VarNPN()
333 if ( uCanons[uTruth] ) in Dar_Truth4VarNPN()
335 assert( uTruth > uCanons[uTruth] ); in Dar_Truth4VarNPN()
336 uMap[~uTruth & 0xFFFF] = uMap[uTruth] = uMap[uCanons[uTruth]]; in Dar_Truth4VarNPN()
[all …]
H A DdarCut.c410 return (uTruth & 0x99999999) | ((uTruth & 0x22222222) << 1) | ((uTruth & 0x44444444) >> 1); in Dar_CutTruthSwapAdjacentVars()
412 return (uTruth & 0xC3C3C3C3) | ((uTruth & 0x0C0C0C0C) << 2) | ((uTruth & 0x30303030) >> 2); in Dar_CutTruthSwapAdjacentVars()
414 return (uTruth & 0xF00FF00F) | ((uTruth & 0x00F000F0) << 4) | ((uTruth & 0x0F000F00) >> 4); in Dar_CutTruthSwapAdjacentVars()
439 uTruth = Dar_CutTruthSwapAdjacentVars( uTruth, k ); in Dar_CutTruthStretch()
443 return uTruth; in Dar_CutTruthStretch()
469 return uTruth; in Dar_CutTruthShrink()
485 unsigned uTruth0 = fCompl0 ? ~pCut0->uTruth : pCut0->uTruth; in Dar_CutTruth()
486 unsigned uTruth1 = fCompl1 ? ~pCut1->uTruth : pCut1->uTruth; in Dar_CutTruth()
511 unsigned uPhase = 0, uTruth = 0xFFFF & pCut->uTruth; in Dar_CutSuppMinimize() local
524 uTruth = Dar_CutTruthShrink( uTruth, pCut->nLeaves, uPhase ); in Dar_CutSuppMinimize()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilMisc.c426 return uTruth; in Extra_TruthPolarize()
665 for ( uTruth = 1; uTruth < (unsigned)nFuncs; uTruth++ ) in Extra_Truth4VarNPN()
670 assert( uTruth > uCanons[uTruth] ); in Extra_Truth4VarNPN()
671 uMap[~uTruth & 0xFFFF] = uMap[uTruth] = uMap[uCanons[uTruth]]; in Extra_Truth4VarNPN()
762 for ( uTruth = 0; uTruth < (unsigned)nFuncs; uTruth++ ) in Extra_Truth3VarN()
765 uTruth32 = ((uTruth << 24) | (uTruth << 16) | (uTruth << 8) | uTruth); in Extra_Truth3VarN()
829 for ( uTruth = 0; uTruth < (unsigned)nFuncs; uTruth++ ) in Extra_Truth4VarN()
834 assert( uTruth > uCanons[uTruth] ); in Extra_Truth4VarN()
1912 unsigned uTruth; in Extra_TruthPerm43() local
1938 unsigned uTruth; in Extra_TruthPerm53() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwt/
H A DrwtUtil.c446 Rwt_Node_t * Rwt_ManAddVar( Rwt_Man_t * p, unsigned uTruth, int fPrecompute ) in Rwt_ManAddVar() argument
452 pNew->uTruth = uTruth; in Rwt_ManAddVar()
462 Rwt_ListAddToTail( p->pTable + uTruth, pNew ); in Rwt_ManAddVar()
480 unsigned uTruth; in Rwt_ManAddNode() local
484 uTruth = (p0->uTruth ^ p1->uTruth); in Rwt_ManAddNode()
486 uTruth = (Rwt_IsComplement(p0)? ~Rwt_Regular(p0)->uTruth : Rwt_Regular(p0)->uTruth) & in Rwt_ManAddNode()
487 … (Rwt_IsComplement(p1)? ~Rwt_Regular(p1)->uTruth : Rwt_Regular(p1)->uTruth) & 0xFFFF; in Rwt_ManAddNode()
492 pNew->uTruth = uTruth; in Rwt_ManAddNode()
502 if ( uTruth != p->puCanons[uTruth] ) in Rwt_ManAddNode()
507 if ( p->pTable[uTruth] == NULL ) in Rwt_ManAddNode()
[all …]
H A DrwtDec.c65 assert( pNode->uTruth == p->pTable[i]->uTruth ); in Rwt_ManPreprocess()
66 assert( p->pMap[pNode->uTruth] < 222 ); // Always >= 0 b/c unsigned. in Rwt_ManPreprocess()
67 Vec_VecPush( p->vClasses, p->pMap[pNode->uTruth], pNode ); in Rwt_ManPreprocess()
68 p->pMapInv[ p->pMap[pNode->uTruth] ] = p->puCanons[pNode->uTruth]; in Rwt_ManPreprocess()
97 if ( pNode->uTruth == 0 ) in Rwt_NodePreprocess()
100 if ( pNode->uTruth == 0x00FF ) in Rwt_NodePreprocess()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/
H A DcnfWrite.c207 unsigned uTruth; in Cnf_ManWriteCnf() local
222 …nLiterals += Cnf_SopCountLiterals( p->pSops[uTruth], p->pSopSizes[uTruth] ) + p->pSopSizes[uTruth]; in Cnf_ManWriteCnf()
224 nClauses += p->pSopSizes[uTruth]; in Cnf_ManWriteCnf()
235 …nLiterals += Cnf_SopCountLiterals( p->pSops[uTruth], p->pSopSizes[uTruth] ) + p->pSopSizes[uTruth]; in Cnf_ManWriteCnf()
340 Cnf_SopConvertToVector( p->pSops[uTruth], p->pSopSizes[uTruth], vSopTemp ); in Cnf_ManWriteCnf()
356 Cnf_SopConvertToVector( p->pSops[uTruth], p->pSopSizes[uTruth], vSopTemp ); in Cnf_ManWriteCnf()
426 unsigned uTruth; in Cnf_ManWriteCnfOther() local
440 …nLiterals += Cnf_SopCountLiterals( p->pSops[uTruth], p->pSopSizes[uTruth] ) + p->pSopSizes[uTruth]; in Cnf_ManWriteCnfOther()
453 …nLiterals += Cnf_SopCountLiterals( p->pSops[uTruth], p->pSopSizes[uTruth] ) + p->pSopSizes[uTruth]; in Cnf_ManWriteCnfOther()
507 Cnf_SopConvertToVector( p->pSops[uTruth], p->pSopSizes[uTruth], vSopTemp ); in Cnf_ManWriteCnfOther()
[all …]
H A DcnfData.c4588 int uTruth = 0, uCube, Lit; in Cnf_ReadMsops() local
4601 uTruth |= uCube; in Cnf_ReadMsops()
4603 assert( uTruth == i ); in Cnf_ReadMsops()
4665 unsigned uTruth, uTruth2, uCube, cCube;
4694 uTruth = 0;
4704 uTruth |= uCube;
4735 assert( uTruth2 == 0xFFFFFF || uTruth2 == uTruth );
4738 pNums[uTruth] = CountCur;
4739 pSops[uTruth] = ALLOC( char, CountCur );
4740 memcpy( pSops[uTruth], Sop, (size_t)CountCur );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/rsb/
H A DrsbDec6.c367 if ( uTruth ) in Rsb_DecPerformInt()
371 uTruth = (unsigned)Abc_Tt6Stretch( (word)uTruth, 1 ); in Rsb_DecPerformInt()
400 if ( uTruth ) in Rsb_DecPerformInt()
404 uTruth = (unsigned)Abc_Tt6Stretch( (word)uTruth, 2 ); in Rsb_DecPerformInt()
436 if ( uTruth ) in Rsb_DecPerformInt()
440 uTruth = (unsigned)Abc_Tt6Stretch( (word)uTruth, 3 ); in Rsb_DecPerformInt()
475 if ( uTruth ) in Rsb_DecPerformInt()
479 uTruth = (unsigned)Abc_Tt6Stretch( (word)uTruth, 4 ); in Rsb_DecPerformInt()
618 unsigned uTruth; in Rsb_ManPerform() local
656 if ( uTruth ) in Rsb_ManPerform()
[all …]
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/
H A DcnfData.c4603 int uTruth = 0, uCube, Lit; in Cnf_ReadMsops() local
4616 uTruth |= uCube; in Cnf_ReadMsops()
4618 assert( uTruth == i ); in Cnf_ReadMsops()
4680 unsigned uTruth, uTruth2, uCube, cCube;
4709 uTruth = 0;
4719 uTruth |= uCube;
4750 assert( uTruth2 == 0xFFFFFF || uTruth2 == uTruth );
4753 pNums[uTruth] = CountCur;
4754 pSops[uTruth] = ALLOC( char, CountCur );
4755 memcpy( pSops[uTruth], Sop, CountCur );
H A DcnfWrite.c184 unsigned uTruth; in Cnf_ManWriteCnf() local
198 uTruth = 0xFFFF & *Cnf_CutTruth(pCut); in Cnf_ManWriteCnf()
199 …nLiterals += Cnf_SopCountLiterals( p->pSops[uTruth], p->pSopSizes[uTruth] ) + p->pSopSizes[uTruth]; in Cnf_ManWriteCnf()
200 assert( p->pSopSizes[uTruth] >= 0 ); in Cnf_ManWriteCnf()
201 nClauses += p->pSopSizes[uTruth]; in Cnf_ManWriteCnf()
212 …nLiterals += Cnf_SopCountLiterals( p->pSops[uTruth], p->pSopSizes[uTruth] ) + p->pSopSizes[uTruth]; in Cnf_ManWriteCnf()
213 assert( p->pSopSizes[uTruth] >= 0 ); in Cnf_ManWriteCnf()
214 nClauses += p->pSopSizes[uTruth]; in Cnf_ManWriteCnf()
273 uTruth = 0xFFFF & *Cnf_CutTruth(pCut); in Cnf_ManWriteCnf()
274 Cnf_SopConvertToVector( p->pSops[uTruth], p->pSopSizes[uTruth], vSopTemp ); in Cnf_ManWriteCnf()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbPush.c154 word uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjSuppMin_int() local
157 if ( Abc_Tt6HasVar(uTruth, k) ) in Acb_ObjSuppMin_int()
172 word c00, c11, uTruthNew, uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjRemoveDup() local
175 c00 = Abc_Tt6Cofactor0( Abc_Tt6Cofactor0(uTruth, i), j ); in Acb_ObjRemoveDup()
176 c11 = Abc_Tt6Cofactor1( Abc_Tt6Cofactor1(uTruth, i), j ); in Acb_ObjRemoveDup()
204 word uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjRemoveConst() local
207 assert( uTruth == 0 || ~uTruth == 0 ); in Acb_ObjRemoveConst()
223 word uTruth = Acb_ObjTruth( p, iObj ); in Acb_ObjRemoveBufInv() local
226 assert( uTruth == s_Truths6[0] || ~uTruth == s_Truths6[0] ); in Acb_ObjRemoveBufInv()
232 if ( uTruth & 1 ) // inv in Acb_ObjRemoveBufInv()
[all …]

12345