Searched defs:pVar2Id (Results 1 – 1 of 1) sorted by relevance
1520 Aig_Obj_t * Fra_ClausGetLiteral( Clu_Man_t * p, int * pVar2Id, int Lit ) in Fra_ClausGetLiteral()1546 int * pStart, * pVar2Id; in Fra_ClausWriteIndClauses() local1592 void Fra_ClausEstimateCoverageOne( Fra_Sml_t * pSim, int * pLits, int nLits, int * pVar2Id, unsigne… in Fra_ClausEstimateCoverageOne()1626 int * pStart, * pVar2Id; in Fra_ClausEstimateCoverage() local