Package owl.translations.ltl2dra

## Class LTL2DRAFunction

- java.lang.Object
- - owl.translations.ltl2dra.LTL2DRAFunction

- All Implemented Interfaces:
    `Function<LabelledFormula,Automaton<?,? extends GeneralizedRabinAcceptance>>`

      public class LTL2DRAFunction
      extends Object
      implements Function<LabelledFormula,Automaton<?,? extends GeneralizedRabinAcceptance>>

- - ### Nested Class Summary

    Nested Classes
    Modifier and Type | Class | Description
    --- | --- | ---
    `static class` | `LTL2DRAFunction.Configuration` |

  - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `LTL2DRAFunction​(Environment env, Set<LTL2DRAFunction.Configuration> configuration)` |

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `Automaton<?,? extends GeneralizedRabinAcceptance>` | `apply​(LabelledFormula formula)` |

    - ### Methods inherited from interface java.util.function.Function

      `andThen, compose`

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

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

- - ### Constructor Detail

    - #### LTL2DRAFunction

          public LTL2DRAFunction​(Environment env,
                                 Set<LTL2DRAFunction.Configuration> configuration)

  - ### Method Detail

    - #### apply

          public Automaton<?,? extends GeneralizedRabinAcceptance> apply​(LabelledFormula formula)

      Specified by:
        `apply` in interface `Function<LabelledFormula,Automaton<?,? extends GeneralizedRabinAcceptance>>`