parid9004
| Tue, 25 Feb 2003 17:04:28
Edges in an assertion
(add)
new section on inventory of edges in an assertion
parid9004
| Tue, 25 Feb 2003 17:04:28
Between every two nodes that serve as the endpoints of arcs in an
assertion, there exists an edge.
(add)
new section stating the occurrence of edges in an assertion. note that there are NOT edges between every two nodes but only between those that are the endpoints of two arcs (the arc and its mirror case) |