LTL2DPAFunction (owl 21.0 API)

java.lang.Object
- owl.translations.ltl2dpa.LTL2DPAFunction

All Implemented Interfaces:: Function<LabelledFormula,Automaton<?,ParityAcceptance>>

public class LTL2DPAFunction
extends Object
implements Function<LabelledFormula,Automaton<?,ParityAcceptance>>

- Nested Class Summary
  
  Nested Classes
  Modifier and Type Class Description
  
  static class LTL2DPAFunction.Configuration
- Constructor Summary
  
  Constructors
  Constructor Description
  
  LTL2DPAFunction(Set<LTL2DPAFunction.Configuration> configuration)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  Automaton<?,ParityAcceptance> apply(LabelledFormula formula)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  - Methods inherited from interface java.util.function.Function
    andThen, compose

Constructor Detail

LTL2DPAFunction

public LTL2DPAFunction(Set<LTL2DPAFunction.Configuration> configuration)

Method Detail
- apply
```
public Automaton<?,ParityAcceptance> apply(LabelledFormula formula)
```
  Specified by:
  
  apply in interface Function<LabelledFormula,Automaton<?,ParityAcceptance>>