owl.automaton.util
Interfaces
AnnotatedState