Searched refs:Tas_VarDecLevel (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCTas2.c | 133 static inline int Tas_VarDecLevel( Tas_Man_t * p, Tas_Var_t * pVar ) { assert( pVar->Value… in Tas_VarDecLevel() function
136 … Tas_ClauseDecLevel( Tas_Man_t * p, int hClause ) { return Tas_VarDecLevel( p, p->pClaus… in Tas_ClauseDecLevel()
|
| H A D | giaCTas.c | 131 static inline int Tas_VarDecLevel( Tas_Man_t * p, Gia_Obj_t * pVar ) { assert( pVar->Value… in Tas_VarDecLevel() function
134 … Tas_ClauseDecLevel( Tas_Man_t * p, int hClause ) { return Tas_VarDecLevel( p, p->pClaus… in Tas_ClauseDecLevel()
718 … printf( "%d=%d(%d) ", Gia_ObjId(p->pAig, pObj), Tas_VarValue(pObj), Tas_VarDecLevel(p, pObj) ); in Tas_ManPrintClause()
786 iLitLevel = Tas_VarDecLevel( p, pObj ); in Tas_ManDeriveReason()
801 iLitLevel2 = Tas_VarDecLevel( p, pReason ); in Tas_ManDeriveReason()
895 LevelCur = Tas_VarDecLevel( p, pObj ); in Tas_ManResolve()
906 LevelCur = Tas_VarDecLevel( p, pObj ); in Tas_ManResolve()
|