Module Graph__.Strat

module type G = sig ... end

Signature for graphs

module type PLAYER = sig ... end

Signature for graph add-ons: an initial vertex, final vertices and membership of vertices to either true or false, i.e. first or second player

module type STRAT = sig ... end

Signature for strategies: for a given state, the strategy tells which state to go to

module Algo : functor (G : G) -> functor (P : PLAYER with type vertex = G.vertex) -> functor (S : STRAT with type vertex = G.vertex) -> sig ... end

Implements strategy algorithms on graphs