Package owl.run.modules
-
Interface Summary Interface Description OwlModule.AutomatonTransformer Derived transformer that casts the argument to anAutomaton
and optionally converts the acceptance condition if possible.OwlModule.Constructor<M> OwlModule.InputReader Input readers are tasked with providing input to the processing pipeline.OwlModule.Instance OwlModule.LabelledFormulaTransformer OwlModule.OutputWriter The final piece of every pipeline, formatting the produced results and writing them on some output.OwlModule.Transformer Transformers are the central pieces of the pipeline concept. -
Class Summary Class Description InputReaders OutputWriters OutputWriters.AutomatonStats OutputWriters.ToHoa Converts anyHOA printable
object to its corresponding HOA representation.OwlModule<M extends OwlModule.Instance> OwlModuleRegistry A registry holding all modules used to parse the command line. -
Enum Summary Enum Description OwlModuleRegistry.Type -
Exception Summary Exception Description OwlModuleRegistry.OwlModuleNotFoundException