Searched refs:Tas_Man_t (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaCTas2.c | 93 typedef struct Tas_Man_t_ Tas_Man_t; typedef 133 static inline int Tas_VarDecLevel( Tas_Man_t * p, Tas_Var_t * pVar ) { assert( pVar->Value… in Tas_VarDecLevel() 134 static inline Tas_Var_t * Tas_VarReason0( Tas_Man_t * p, Tas_Var_t * pVar ) { assert( pVar->Value… in Tas_VarReason0() 135 static inline Tas_Var_t * Tas_VarReason1( Tas_Man_t * p, Tas_Var_t * pVar ) { assert( pVar->Value… in Tas_VarReason1() 136 static inline int Tas_ClauseDecLevel( Tas_Man_t * p, int hClause ) { return Tas_VarDecLe… in Tas_ClauseDecLevel() 138 static inline Tas_Var_t * Tas_ManVar( Tas_Man_t * p, int h ) { return (Tas_Var_t *)(p->pV… in Tas_ManVar() 139 static inline Tas_Cls_t * Tas_ManClause( Tas_Man_t * p, int h ) { return (Tas_Cls_t *)(p->pC… in Tas_ManClause() 163 Tas_Var_t * Tas_ManCreateVar( Tas_Man_t * p ) in Tas_ManCreateVar() 189 Tas_Var_t * Tas_ManObj2Var( Tas_Man_t * p, Gia_Obj_t * pObj ) in Tas_ManObj2Var()
|
H A D | giaCTas.c | 187 Tas_Man_t * Tas_ManAlloc( Gia_Man_t * pAig, int nBTLimit ) in Tas_ManAlloc() 189 Tas_Man_t * p; in Tas_ManAlloc() 190 p = ABC_CALLOC( Tas_Man_t, 1 ); in Tas_ManAlloc() 223 void Tas_ManStop( Tas_Man_t * p ) in Tas_ManStop() 250 Vec_Int_t * Tas_ReadModel( Tas_Man_t * p ) in Tas_ReadModel() 269 static inline int Tas_ManCheckLimits( Tas_Man_t * p ) in Tas_ManCheckLimits() 1244 int Tas_ManPropagate( Tas_Man_t * p, int Level ) in Tas_ManPropagate() 1285 int Tas_ManSolve_rec( Tas_Man_t * p, int Level ) in Tas_ManSolve_rec() 1487 void Tas_ManSatPrintStats( Tas_Man_t * p ) in Tas_ManSatPrintStats() 1521 Tas_Man_t * p; in Tas_ManSolveMiterNc() [all …]
|
H A D | gia.h | 1707 typedef struct Tas_Man_t_ Tas_Man_t; typedef 1708 extern Tas_Man_t * Tas_ManAlloc( Gia_Man_t * pAig, int nBTLimit ); 1709 extern void Tas_ManStop( Tas_Man_t * p ); 1710 extern Vec_Int_t * Tas_ReadModel( Tas_Man_t * p ); 1711 extern void Tas_ManSatPrintStats( Tas_Man_t * p ); 1712 extern int Tas_ManSolve( Tas_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pObj2 ); 1713 extern int Tas_ManSolveArray( Tas_Man_t * p, Vec_Ptr_t * vObjs );
|
H A D | giaGiarf.c | 762 Tas_Man_t * pTas; in Gia_ComputeEquivalencesLevel()
|