Pony Graph

This library provides the some basic graph related algorithms for use with Pony programmes.

The main algorithms implemented are:

• dominators
• topological sort
• dominator frontiers

Notes

• While the dominator algorithm is tested, the actual Pony API is still very rough and requires refinement relative to the reference capabilities supported for graph nodes.

References

• A Simple, Fast Dominance Algorithm
• A Fast Algorithm for Finding Dominators in a Flowgraph
• Eclipse Dominator Tree
• Wikipedia Dominator Article