owl.jni
Classes
IntAutomaton
Splitter