Previous  Up  

Module Automata.SENFA

module SENFA: sig .. end
non-deterministic automata with epsilon transitions
type 'v t = {
   e : (int * Bdd.formula * int) list;
   t : (int * 'v * int) list;
   o : int Common.set;
   size : int;
}