Home
last modified time | relevance | path

Searched refs:pGloVars (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsInter.c241 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 DsatSolver2.h72 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 DsatSolver2i.c56 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 DsatProof.c698 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 DsatInter.c43 int pGloVars[16]; // global variables member
136 return p->pGloVars; in Int_ManSetGlobalVars()
167 p->pVarTypes[ p->pGloVars[v] ] = - v - 1; in Int_ManGlobalVars()