module Experiment:
val pof_depth : int
pof stands for Present Or Future
val tr : Auto.configuration -> int -> Auto.state
Transition rule.
val do_next_step : unit -> unit
Computes the next configuration in pof_configurations,
shifts all configurations and thus loses the oldest configuration of past_configurations.
val discard_cell : int -> bool
All future light cones must be isomorph, so we discard the cells to close to the border.
val draw_cmplx : (int -> Graphics.color) -> int array -> int -> unit
val causal_states : Auto.state array array -> Auto.state array array -> int array * int array
val total_occurences : float
Used to compute the probability of each causal state.
This is the number of cells for which discard_cell returns false,
ie the number of cells for which a causal state is computed.
val at_first_measurement : unit -> unit
val at_last_measurement : unit -> unit
val do_measurement : time:'a -> (int -> unit) * (int -> unit)