Yes, that is the right reference! On Mar 30, 2010, at 10:21 PM, Jeffrey Yasskin wrote: > I was reading through the analyzer, trying to make it work on C++, > when I found this undefined term. Is this the right definition? > > Thanks, > Jeffrey > <define_exploded_graph.patch>