Searched defs:vCnfs (Results 1 – 7 of 7) sorted by relevance
163 Vec_Wec_t * vCnfs; in Sfm_CreateCnf() local
93 Vec_Wec_t * vCnfs; // CNFs member
95 Vec_Wec_t * vCnfs = &p->vCnfs; in Acb_DeriveCnfForWindowOne() local106 Vec_Wec_t * vCnfs = &p->vCnfs; in Acb_DeriveCnfForWindow() local164 Vec_Wec_t * vCnfs = &p->vCnfs; in Acb_DeriveCnfForNode() local200 Vec_Wec_t * vCnfs = Acb_DeriveCnfForWindow( p, vWinObjs, PivotVar ); in Acb_NtkWindow2Cnf() local
93 Vec_Wec_t vCnfs; // CNF member
274 Vec_Int_t * vCnfs = Vec_IntAlloc( 3 * Vec_IntSize(&p->vCnfSizes) ); in Mf_ManDeriveCnfs() local341 Vec_Int_t * vCnfs = Mf_ManDeriveCnfs( p, &nVars, &nClas, &nLits ); in Mf_ManDeriveCnf() local
58 Vec_Int_t * vCnfs; // costs of elementary CNFs member
44 Vec_Ptr_t * vCnfs; // for each object: CNF0, CNF1 member