Module Rule.Eca

module Eca: sig .. end

Elementary Cellular Automata

val wolfram_to_array : int -> bool array

Returns rule_array where rule_array.(n) is true iff the nth bit of the binary representation of the argument is 1.

val array_to_wolfram : bool array -> int

val reflexive_rule : int -> int

val conjugate_rule : int -> int

val transition_rule : int -> int array array -> bool array -> int -> bool

module type Parameters = sig .. end

module Automaton: functor (Parameters : Parameters) -> sig .. end