Package owl.translations.ltl2dpa

Class NormalformDPAConstruction

java.lang.Object

owl.translations.ltl2dpa.NormalformDPAConstruction

All Implemented Interfaces:

Function<LabelledFormula,Automaton<ZielonkaTreeTransformations.ZielonkaState<NormalformDELAConstruction.State>,ParityAcceptance>>

public final class NormalformDPAConstruction
extends Object
implements Function<LabelledFormula,Automaton<ZielonkaTreeTransformations.ZielonkaState<NormalformDELAConstruction.State>,ParityAcceptance>>

Constructor Summary

Constructors

Constructor	Description
NormalformDPAConstruction(OptionalInt lookahead)

Method Summary

Modifier and Type	Method	Description
ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<ZielonkaTreeTransformations.ZielonkaState<NormalformDELAConstruction.State>,ParityAcceptance>	apply(LabelledFormula formula)
static ToDoubleFunction<Edge<ZielonkaTreeTransformations.ZielonkaState<NormalformDELAConstruction.State>>>	scoringFunction(ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<ZielonkaTreeTransformations.ZielonkaState<NormalformDELAConstruction.State>,ParityAcceptance> automaton)

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

NormalformDPAConstruction

public NormalformDPAConstruction(OptionalInt lookahead)

Method Detail

apply

public ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<ZielonkaTreeTransformations.ZielonkaState<NormalformDELAConstruction.State>,ParityAcceptance> apply(LabelledFormula formula)

Specified by:

apply in interface Function<LabelledFormula,Automaton<ZielonkaTreeTransformations.ZielonkaState<NormalformDELAConstruction.State>,ParityAcceptance>>

scoringFunction

public static ToDoubleFunction<Edge<ZielonkaTreeTransformations.ZielonkaState<NormalformDELAConstruction.State>>> scoringFunction(ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<ZielonkaTreeTransformations.ZielonkaState<NormalformDELAConstruction.State>,ParityAcceptance> automaton)