Module adt

This module holds the implementations of data structures that are used in the program.

Modules

dag

This module implements the Ranked-DAG data structure. I’s a data structure that represents the edges between nodes in the dag as well as the leveling of the nodes. A rank is the ordering of some nodes along the x-axis. Users of this data structure may change the leveling of nodes, and the only guarantee is that the nodes are assigned to some level.

map

This module implements the scoped map.