Searched refs:nRands (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcMaj2.c | 46 int nRands; // number of random connections member
92 static void Maj_ManConnect( int VarCons[MAJ_NOBJS][3], int nVars, int nObjs, int nRands, int fVerbo… in Maj_ManConnect() argument
114 for ( r = 0; r < nRands; r++ ) in Maj_ManConnect()
145 static void Maj_ManConnect2( int VarCons[MAJ_NOBJS][3], int nVars, int nObjs, int nRands ) in Maj_ManConnect2() argument
164 Maj_ManConnect( VarCons, p->nVars, p->nObjs, p->nRands, p->fVerbose ); in Maj_ManMarkup()
229 …Alloc( int nVars, int nNodes, int fUseConst, int fUseLine, int fUseRand, int nRands, int fVerbose ) in Maj_ManAlloc() argument
239 p->nRands = nRands; in Maj_ManAlloc()
462 …esis2( int nVars, int nNodes, int fUseConst, int fUseLine, int fUseRand, int nRands, int fVerbose ) 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 …sis2( int nVars, int nNodes, int fUseConst, int fUseLine, int fUseRand, int nRands, int fVerbose ); in Abc_CommandMajExact()
8578 …int c, nVars = 3, nNodes = 1, fUseConst = 0, fUseLine = 0, fGlucose = 0, fUseRand = 0, nRands = 0,… in Abc_CommandMajExact() local
8612 nRands = atoi(argv[globalUtilOptind]); in Abc_CommandMajExact()
8614 if ( nRands < 0 ) in Abc_CommandMajExact()
8646 Maj_ManExactSynthesis2( nVars, nNodes, fUseConst, fUseLine, fUseRand, nRands, fVerbose ); in Abc_CommandMajExact()
8654 Abc_Print( -2, "\t-R <num> : the number of additional connections [default = %d]\n", nRands ); in Abc_CommandMajExact()
|