@EverythingIsNonnullByDefault

Package owl.run

This package (and it's sub-packages) contains a flexible infrastructure for executing various translation chains and obtaining these translation chains from the command line. Executions are modeled as a pipeline, starting with an input parser (e.g. an LTL parser), followed by multiple transformers (e.g. an LTL to DPA translation), and an output writer at the end (e.g. a HOA printer). To allow for high flexibility, various other concepts accompany this central model. In general, the structure is as follows: For convenience, several default implementations are also provided. These should be suitable for most cases and may serve as starting point for custom implementations. Note that the provided implementations may satisfy stricter conditions than the ones imposed by the general design. Refer to each interface for the actual method contracts.
Skip navigation links