Module type Strat.STRAT

module type STRAT = sig .. end

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

type t

type vertex

val empty : t

val add : t -> vertex -> vertex -> t

val next : t -> vertex -> vertex

Raises Invalid_argument if vertex's image is not defined