API documentation of the jhoafparser library (
http://automata.tools/hoa/jhoafparser/
).