Automaton.h geedit