let check_states () =
let states,trans = getAutomata() in
let max = getNumberOfStates () in
List.iter
(fun x -> if x.nums >= max then
Aorai_option.fatal "State %d found while max id is supposed to be %d"
x.nums max)
states;
List.iter
(fun x ->
if not (List.memq x.start states) then
Aorai_option.fatal
"Start state %d of transition %d is not among known states"
x.start.nums x.numt;
if not (List.memq x.stop states) then
Aorai_option.fatal
"End state %d of transition %d is not among known states"
x.start.nums x.numt;)
trans