Searched refs:pGloVars (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsInter.c | 241 int c, i, * pGloVars; in Abc_NtkMfsInterplateTruth() local 258 pGloVars = Int_ManSetGlobalVars( p->pMan, nCands ); in Abc_NtkMfsInterplateTruth() 264 pGloVars[c] = Vec_IntEntry( p->vProjVarsCnf, i ); in Abc_NtkMfsInterplateTruth() 340 int c, i, * pGloVars; in Abc_NtkMfsInterplate() local 371 pGloVars = Int_ManSetGlobalVars( p->pMan, nCands ); in Abc_NtkMfsInterplate() 377 pGloVars[c] = Vec_IntEntry( p->vProjVarsCnf, i ); in Abc_NtkMfsInterplate()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
H A D | satSolver2.h | 72 extern void * Sat_ProofInterpolant( sat_solver2 * s, void * pGloVars ); 73 extern word * Sat_ProofInterpolantTruth( sat_solver2 * s, void * pGloVars ); 77 extern Int2_Man_t * Int2_ManStart( sat_solver2 * pSat, int * pGloVars, int nGloVars );
|
H A D | satSolver2i.c | 56 Int2_Man_t * Int2_ManStart( sat_solver2 * pSat, int * pGloVars, int nGloVars ) in Int2_ManStart() argument 62 p->vGloVars = Vec_IntAllocArrayCopy( pGloVars, nGloVars ); in Int2_ManStart()
|
H A D | satProof.c | 698 void * Sat_ProofInterpolant( sat_solver2 * s, void * pGloVars ) 702 Vec_Int_t * vGlobVars = (Vec_Int_t *)pGloVars; 801 word * Sat_ProofInterpolantTruth( sat_solver2 * s, void * pGloVars ) 805 Vec_Int_t * vGlobVars = (Vec_Int_t *)pGloVars;
|
H A D | satInter.c | 43 int pGloVars[16]; // global variables member 136 return p->pGloVars; in Int_ManSetGlobalVars() 167 p->pVarTypes[ p->pGloVars[v] ] = - v - 1; in Int_ManGlobalVars()
|