On Tue, Jun 5, 2012 at 10:59 AM, Robert O'Callahan <robert@ocallahan.org>wrote: > "Producing no output" would of course need to be specified. > > I think your definition doesn't quite work, since it's possible to have an > SCC that contains a DelayNode but also contains a cycle with no DelayNode > in it. So I think you probably need to find the SCCs of the graph with the DelayNodes removed. All the nodes in those SCCs must produce no output. Then you can carry on with the rest of your proposal. Rob -- “You have heard that it was said, ‘Love your neighbor and hate your enemy.’ But I tell you, love your enemies and pray for those who persecute you, that you may be children of your Father in heaven. ... If you love those who love you, what reward will you get? Are not even the tax collectors doing that? And if you greet only your own people, what are you doing more than others?" [Matthew 5:43-47]
Received on Monday, 4 June 2012 23:07:12 UTC