Package owl.run.modules
-
Interface Summary Interface Description InputReader Input readers are tasked with providing input to the processing pipeline.InputReaders.CheckedCallback 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 Summary Class Description InputReaders OutputWriters OutputWriters.AutomatonStats OutputWriters.ToHoa Converts anyHOA printable
object to its corresponding HOA representation.OwlModuleRegistry A registry holding all modules used to parse the command line.Transformers Transformers.SimpleTransformer -
Enum Summary Enum Description OwlModuleRegistry.Type -
Exception Summary Exception Description OwlModuleRegistry.OwlModuleNotFoundException