Module State_topological

module State_topological: sig .. end

Topological ordering over states.

This functor provides functions which allow iterating over a state graph in topological order.

That is the module Topological from OcamlGraph, but it takes into account state clusters.

module type G = sig .. end

Minimal graph signature to provide.

module Make: functor (G : G) -> sig .. end

Functor providing topological iterators over a graph.