Searched refs:Tas_Cls_t (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaCTas2.c | 85 typedef struct Tas_Cls_t_ Tas_Cls_t; typedef 139 static inline Tas_Cls_t * Tas_ManClause( Tas_Man_t * p, int h ) { return (Tas_Cls_t *)(p->pC… in Tas_ManClause()
|
H A D | giaCTas.c | 57 typedef struct Tas_Cls_t_ Tas_Cls_t; typedef 129 static inline Tas_Cls_t * Tas_ClsFromHandle( Tas_Man_t * p, int h ) { return (Tas_Cls_t *… in Tas_ClsFromHandle() 668 Vec_IntPush( p->vLevReas, Tas_ClsHandle( p, (Tas_Cls_t *)pRes1 ) ); in Tas_ManAssign() 795 Tas_Cls_t * pCls = Tas_VarReasonCls( p, pObj ); in Tas_ManDeriveReason() 929 static inline Tas_Cls_t * Tas_ManAllocCls( Tas_Man_t * p, int nSize ) in Tas_ManAllocCls() 931 Tas_Cls_t * pCls; in Tas_ManAllocCls() 954 static inline void Tas_ManWatchClause( Tas_Man_t * p, Tas_Cls_t * pClause, int Lit ) in Tas_ManWatchClause() 979 static inline Tas_Cls_t * Tas_ManCreateCls( Tas_Man_t * p, int hClause ) in Tas_ManCreateCls() 981 Tas_Cls_t * pClause; in Tas_ManCreateCls() 1021 static inline int Tas_ManCreateFromCls( Tas_Man_t * p, Tas_Cls_t * pCls, int Level ) in Tas_ManCreateFromCls() [all …]
|