Re: branch info

[Ronald Petty]

But you can tell this information by just looking at num

ex.

1.2.2.1  (means it branched at 1.2), however if you look at 1.2 it says
branch 1.2.2.1 is a branch rooted at itself, which is the exact same
information.

It looks to me how you chose to write your programs to get the data. 
For people writing parsers (myself), if you don't know any information
on the given ,v file, it is simple to just take all the num information
from delta and construct the graph.  The alternative is to follow the
branches that are listed under the given branch point.  I can't say
which is better, but both give me the same information.  Actually num is
faster for parsing since you just divide it out to get branch points.

Opinion Kaz?

Ron


> You wouldn't have 1.2.2.1 in the branch field for that node. What you
> would have is zero or more numbers referring to nodes that start
> branches based on that node. Their numbers would be 1.2.2.1.X.1 where X
> is some even integer.