Package owl.translations.ltl2dpa

Class SymbolicDPAConstruction

java.lang.Object

owl.translations.ltl2dpa.SymbolicDPAConstruction

All Implemented Interfaces:

Function<LabelledFormula,SymbolicAutomaton<ParityAcceptance>>

public final class SymbolicDPAConstruction
extends Object
implements Function<LabelledFormula,SymbolicAutomaton<ParityAcceptance>>

Method Summary

Modifier and Type	Method	Description
SymbolicAutomaton<ParityAcceptance>	apply(LabelledFormula labelledFormula)
static SymbolicDPAConstruction	of()

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

Method Detail

of

public static SymbolicDPAConstruction of()

apply

public SymbolicAutomaton<ParityAcceptance> apply(LabelledFormula labelledFormula)

Specified by:

apply in interface Function<LabelledFormula,SymbolicAutomaton<ParityAcceptance>>