@EverythingIsNonnullByDefault

Package jhoafparser.extensions

Extensions and fixes for the jhoafparser library.

Class Summary

Class	Description
BooleanExpressions
HOAConsumerPrintFixed	This HOAConsumer renders the method calls to produce a valid HOA automaton output.
HOAFParserCCFixed
HOAFParserFixed	Public interface to the HOA format parser.
ToStateAcceptanceFixed	Convert automaton to state-based acceptance.