Functor Experiment.States.Experiment

module Experiment: 
functor (Topo : Types.Topology) -> 
functor (Synchro : Types.Synchronism) -> 
functor (Auto : Types.Rule) -> sig .. end

val configuration : Auto.configuration Pervasives.ref

val tr : Auto.configuration -> int -> Auto.state

val do_next_step : unit -> unit

val draw_configuration : Auto.configuration -> int -> unit

val at_first_measurement : unit -> unit

val at_last_measurement : unit -> unit

val do_measurement : time:'a -> (int -> unit) * (int -> unit)