Searched refs:Tas_LitIsTrue (Results 1 – 1 of 1) sorted by relevance
126 static inline int Tas_LitIsTrue( Gia_Obj_t * pObj, int Lit ) { assert( Tas_VarIsAssigned(pObj) );… in Tas_LitIsTrue() function803 assert( !Tas_LitIsTrue( pReason, pCls->pLits[j] ) ); in Tas_ManDeriveReason()1032 assert( !Tas_LitIsTrue( pObj, pCls->pLits[i] ) ); in Tas_ManCreateFromCls()1075 if ( Tas_VarIsAssigned(pObj) && Tas_LitIsTrue( pObj, pCur->pLits[0] ) ) in Tas_ManPropagateWatch()1087 if ( Tas_VarIsAssigned(pObj) && !Tas_LitIsTrue( pObj, pCur->pLits[i] ) ) in Tas_ManPropagateWatch()1123 assert( !Tas_LitIsTrue( pObj, pCur->pLits[0] ) ); in Tas_ManPropagateWatch()