Module Aux.Memo

Use Memo(E) with a totally ordered event type to make a dispatch that memorizes the results of computing transitions as events require them. Transitions are only computed for events not previously required.

Parameters

Signature

type event = E.t

The event type.

type 'a t

The dispatch type.

val create : (event -> 'a option) -> 'a t

The DFA uses create f to make an event dispatch that returns transitions computed by applying f to an event.

val dispatch : event -> 'a t -> 'a

The DFA uses dispatch e d to find the transition in d for e.