Table of Contents

Edge

This section explain what are edges.

Successor

A successor edge is…

Branch

A branch edge is a branch.

Containment

A containment edge contains stuff

Refinement

A refinement edge refines.

Mark

A mark edge is marked.

Notifies

A notifies edge notify?

Instantiation

An instantiation edge only used in import/

Ignored

Ignored edges are ignored ?

Custom

Custom edges are whatever you want. But you should use bit integer to represent them and starts from MIN_UNUSED_EDGE.