Searched refs:Tas_VarIsJust (Results 1 – 2 of 2) sorted by relevance
129 static inline int Tas_VarIsJust( Tas_Var_t * pVar ) { return Gia_ObjIsAnd(pVar) … in Tas_VarIsJust() function
122 static inline int Tas_VarIsJust( Gia_Obj_t * pVar ) { return Gia_ObjIsAnd(pVar) && !Tas_… in Tas_VarIsJust() function1193 assert( Tas_VarIsJust(pVar) ); in Tas_ManPropagateOne()1261 if ( Tas_VarIsJust( pVar ) ) in Tas_ManPropagate()1323 assert( Tas_VarIsJust( pVar ) ); in Tas_ManSolve_rec()