[mercury-users] Dynamic call graph drawer for Mercury?

[Nicholas Nethercote]

Hi,

Is there a tool to draw dynamic call graphs in Mercury?  I looked in the 
user's guide but didn't find anything.

I ask because I'm trying to work out how to draw dynamic call graphs in the 
presence of non-determinism.  It's not obvious to me the right way to do it, 
because in a deterministic call graph arcs represent calls, whereas in a 
non-deterministic "execution" graph arcs represent choices.

Thanks.

Nick
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------