Interface | Description |
---|---|
InputReader |
Input readers are tasked with providing input to the processing pipeline.
|
OutputWriter |
The final piece of every pipeline, formatting the produced results and writing them on some
output.
|
OutputWriter.Binding | |
OwlModule | |
OwlModuleParser<M extends OwlModule> | |
OwlModuleParser.ReaderParser | |
OwlModuleParser.TransformerParser | |
OwlModuleParser.WriterParser | |
Transformer |
Transformers are the central pieces of the pipeline concept.
|
Transformer.Instance |
Class | Description |
---|---|
InputReaders | |
InputReaders.HoaReader | |
OutputWriters | |
OutputWriters.AutomatonStats | |
OutputWriters.ToHoa |
Converts any
HOA printable object to its corresponding HOA representation. |
OwlModuleRegistry |
A registry holding all modules used to parse the command line.
|
Transformers | |
Transformers.SimpleTransformer |
Enum | Description |
---|---|
OutputWriters.ToHoa.Setting | |
OwlModuleRegistry.Type |
Exception | Description |
---|---|
InputReader.InputReaderException | |
OutputWriter.OutputWriterException | |
OwlModuleRegistry.OwlModuleNotFoundException |