Searched defs:Txs_Man_t_ (Results 1 – 1 of 1) sorted by relevance
30 struct Txs_Man_t_ struct32 Gia_Man_t * pGia; // user's AIG33 Vec_Int_t * vPrio; // priority of each flop34 Vec_Int_t * vCiObjs; // cone leaves (CI obj IDs)35 Vec_Int_t * vCoObjs; // cone roots (CO obj IDs)36 Vec_Int_t * vCiVals; // cone leaf values (0/1 CI values)37 Vec_Int_t * vCoVals; // cone root values (0/1 CO values)38 Vec_Int_t * vNodes; // cone nodes (node obj IDs)39 Vec_Int_t * vTemp; // cone nodes (node obj IDs)40 Vec_Int_t * vPiLits; // resulting array of PI literals[all …]