Package owl.translations.ltl2ldba

## Class LTL2LDGBAModule

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

- All Implemented Interfaces:
    `OwlModuleParser<Transformer>`, `OwlModuleParser.TransformerParser`

      public final class LTL2LDGBAModule
      extends AbstractLTL2LDBAModule

- - ### Nested Class Summary

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

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

  - ### Field Summary

    Fields
    Modifier and Type | Field | Description
    --- | --- | ---
    `static LTL2LDGBAModule` | `INSTANCE` |

  - ### Method Summary

    All Methods Static Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `String` | `getDescription()` |
    `String` | `getKey()` |
    `static void` | `main​(String... args)` |
    `Transformer` | `parse​(org.apache.commons.cli.CommandLine commandLine)` |

    - ### Methods inherited from class owl.translations.ltl2ldba.AbstractLTL2LDBAModule

      `getOptions, guessF, simple`

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

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

- - ### Field Detail

    - #### INSTANCE

          public static final LTL2LDGBAModule INSTANCE

  - ### Method Detail

    - #### main

          public static void main​(String... args)

    - #### parse

          public Transformer parse​(org.apache.commons.cli.CommandLine commandLine)

    - #### getKey

          public String getKey()

    - #### getDescription

          public String getDescription()