Searched refs:Tas_VarReason1 (Results 1 – 2 of 2) sorted by relevance
135 static inline Tas_Var_t * Tas_VarReason1( Tas_Man_t * p, Tas_Var_t * pVar ) { assert( pVar->Value… in Tas_VarReason1() function
133 static inline Gia_Obj_t * Tas_VarReason1( Tas_Man_t * p, Gia_Obj_t * pVar ) { assert( pVar->Value… in Tas_VarReason1() function820 pReason = Tas_VarReason1( p, pObj ); in Tas_ManDeriveReason()