Searched refs:Gia_Man2Min_t (Results 1 – 2 of 2) sorted by relevance
375 Gia_Man2Min_t * Gia_Man2SuppStart( Gia_Man_t * pGia ) in Gia_Man2SuppStart()377 Gia_Man2Min_t * p; in Gia_Man2SuppStart()378 p = ABC_CALLOC( Gia_Man2Min_t, 1 ); in Gia_Man2SuppStart()394 void Gia_Man2SuppStop( Gia_Man2Min_t * p ) in Gia_Man2SuppStop()617 int Gia_Min2ObjGetCnfVar( Gia_Man2Min_t * p, int iObj ) in Gia_Min2ObjGetCnfVar()671 int Gia_Min2ManSimulate( Gia_Man2Min_t * p ) in Gia_Min2ManSimulate()710 static inline void Gia_Min2SimSetInputBit( Gia_Man2Min_t * p, int iObj, int Bit, int iPattern ) in Gia_Min2SimSetInputBit()717 int Gia_Min2ManSolve( Gia_Man2Min_t * p ) in Gia_Min2ManSolve()788 int Gia_Min2ManGatherSupp( Gia_Man2Min_t * p ) in Gia_Min2ManGatherSupp()815 int Gia_Man2SupportAnd( Gia_Man2Min_t * p, int iLit0, int iLit1 ) in Gia_Man2SupportAnd()[all …]
1573 typedef struct Gia_Man2Min_t_ Gia_Man2Min_t; typedef1574 extern Gia_Man2Min_t * Gia_Man2SuppStart( Gia_Man_t * pGia );1575 extern void Gia_Man2SuppStop( Gia_Man2Min_t * p );1576 extern int Gia_Man2SupportAnd( Gia_Man2Min_t * p, int iLit0, int iLit1 );