Module Determinisation

module Determinisation: sig .. end

Symbolic determinisation

val generic : ('s, 's Common.set, 'v, 'k, 'o) Automata.snfa ->
       ('s Common.set, 'v, 'k, 'o) Automata.sdfa

simple, generic determinisation, using Common.Set sets

val optimised : (int, Common.int_set, 'v, 'k, 'o) Automata.snfa ->
       (Common.int_set, 'v, 'k, 'o) Automata.sdfa

more efficient determinisation, using IntSet instead