Home
last modified time | relevance | path

Searched refs:Tas_Man_t (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaCTas2.c93 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 DgiaCTas.c187 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 Dgia.h1707 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 DgiaGiarf.c762 Tas_Man_t * pTas; in Gia_ComputeEquivalencesLevel()