| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
| H A D | fraigTable.c | 351 int Fraig_CompareSimInfo( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int iWordLast, int fUseRand… in Fraig_CompareSimInfo() argument
356 if ( fUseRand ) in Fraig_CompareSimInfo()
390 …dFirstDiff( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int fCompl, int iWordLast, int fUseRand ) in Fraig_FindFirstDiff() argument
401 if ( fUseRand ) in Fraig_FindFirstDiff()
420 if ( fUseRand ) in Fraig_FindFirstDiff()
451 …rMask( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int iWordLast, int fUseRand, unsigned * puMas… in Fraig_CompareSimInfoUnderMask() argument
458 pSims1 = fUseRand? pNode1->puSimR : pNode1->puSimD; in Fraig_CompareSimInfoUnderMask()
459 pSims2 = fUseRand? pNode2->puSimR : pNode2->puSimD; in Fraig_CompareSimInfoUnderMask()
478 void Fraig_CollectXors( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int iWordLast, int fUseRand, … in Fraig_CollectXors() argument
485 pSims1 = fUseRand? pNode1->puSimR : pNode1->puSimD; in Fraig_CollectXors()
[all …]
|
| H A D | fraigNode.c | 226 void Fraig_NodeSimulate( Fraig_Node_t * pNode, int iWordStart, int iWordStop, int fUseRand ) in Fraig_NodeSimulate() argument
235 pSims = fUseRand? pNode->puSimR : pNode->puSimD; in Fraig_NodeSimulate()
236 pSims1 = fUseRand? Fraig_Regular(pNode->p1)->puSimR : Fraig_Regular(pNode->p1)->puSimD; in Fraig_NodeSimulate()
237 pSims2 = fUseRand? Fraig_Regular(pNode->p2)->puSimR : Fraig_Regular(pNode->p2)->puSimD; in Fraig_NodeSimulate()
307 if ( fUseRand ) in Fraig_NodeSimulate()
|
| H A D | fraigInt.h | 382 … Fraig_NodeSimulate( Fraig_Node_t * pNode, int iWordStart, int iWordStop, int fUseRand );
394 … Fraig_CompareSimInfo( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int iWordLast, int fUseRand );
395 …rMask( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int iWordLast, int fUseRand, unsigned * puMas…
396 …FirstDiff( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int fCompl, int iWordLast, int fUseRand );
397 …tXors( Fraig_Node_t * pNode1, Fraig_Node_t * pNode2, int iWordLast, int fUseRand, unsigned * puMas…
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcMaj2.c | 45 int fUseRand; // use random topology member
163 if ( p->fUseRand ) in Maj_ManMarkup()
185 if ( p->fUseRand && VarCons[i][k] > 0 ) in Maj_ManMarkup()
193 … for ( j = (p->fUseConst && k == 2) ? 0 : 2; j < (p->fUseRand ? p->nVars+2-k : i-k); j++ ) in Maj_ManMarkup()
229 static Maj_Man_t * Maj_ManAlloc( int nVars, int nNodes, int fUseConst, int fUseLine, int fUseRand, … in Maj_ManAlloc() argument
237 p->fUseRand = fUseRand; in Maj_ManAlloc()
462 int Maj_ManExactSynthesis2( int nVars, int nNodes, int fUseConst, int fUseLine, int fUseRand, int n… in Maj_ManExactSynthesis2() argument
466 Maj_Man_t * p = Maj_ManAlloc( nVars, nNodes, fUseConst, fUseLine, fUseRand, nRands, fVerbose ); in Maj_ManExactSynthesis2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abc.c | 8577 …xactSynthesis2( int nVars, int nNodes, int fUseConst, int fUseLine, int fUseRand, int nRands, int … in Abc_CommandMajExact()
8578 …int c, nVars = 3, nNodes = 1, fUseConst = 0, fUseLine = 0, fGlucose = 0, fUseRand = 0, nRands = 0,… in Abc_CommandMajExact() local
8624 fUseRand ^= 1; in Abc_CommandMajExact()
8646 Maj_ManExactSynthesis2( nVars, nNodes, fUseConst, fUseLine, fUseRand, nRands, fVerbose ); in Abc_CommandMajExact()
8657 …Abc_Print( -2, "\t-r : toggle using random topology [default = %s]\n", fUseRand ? "yes" : "n… in Abc_CommandMajExact()
|