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.