Package owl.translations.ltl2ldba

## Class AbstractLTL2LDBAModule

- java.lang.Object
- - owl.translations.ltl2ldba.AbstractLTL2LDBAModule

- All Implemented Interfaces:
    `OwlModuleParser<Transformer>`, `OwlModuleParser.TransformerParser`
  Direct Known Subclasses:
    `LTL2LDBAModule`, `LTL2LDGBAModule`

      public abstract class AbstractLTL2LDBAModule
      extends Object
      implements OwlModuleParser.TransformerParser

- - ### Nested Class Summary

    - ### Nested classes/interfaces inherited from interface owl.run.modules.OwlModuleParser

      `OwlModuleParser.ReaderParser, OwlModuleParser.TransformerParser, OwlModuleParser.WriterParser`

  - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `AbstractLTL2LDBAModule()` |

  - ### Method Summary

    All Methods Static Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `org.apache.commons.cli.Options` | `getOptions()` |
    `static org.apache.commons.cli.Option` | `guessF()` |
    `static org.apache.commons.cli.Option` | `simple()` |

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

    - ### Methods inherited from interface owl.run.modules.OwlModuleParser

      `getDescription, getKey, parse`

- - ### Constructor Detail

    - #### AbstractLTL2LDBAModule

          public AbstractLTL2LDBAModule()

  - ### Method Detail

    - #### guessF

          public static org.apache.commons.cli.Option guessF()

    - #### simple

          public static org.apache.commons.cli.Option simple()

    - #### getOptions

          public org.apache.commons.cli.Options getOptions()

      Specified by:
        `getOptions` in interface `OwlModuleParser<Transformer>`