Home
last modified time | relevance | path

Searched refs:Tas_Cls_t (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaCTas2.c85 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 DgiaCTas.c57 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 …]