Module Automata

module Automata: sig .. end

Types for the various kind of manipulated automata

module SDFA: sig .. end

symbolic deterministic automata

type ('s, 'v, 'k, 'o) sdfa = ('s, 'v, 'k, 'o) SDFA.t

module SNFA: sig .. end

symbolic non-deterministic automata

type ('s, 't, 'v, 'k, 'o) snfa = ('s, 't, 'v, 'k, 'o) SNFA.t

module SENFA: sig .. end

non-deterministic automata with epsilon transitions

type 'v senfa = 'v SENFA.t