module Automaton:
Parameters: |
|
val name : string
typestate =
int
typeconfiguration =
state array
val transition_rule : int array array -> int array -> int -> int
val initialize : int -> int array
val states : int array
val color_of_state : int -> Graphics.color