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