Package owl.translations.ltl2dra

Class SymmetricDRAConstruction<R extends GeneralizedRabinAcceptance>

java.lang.Object

owl.translations.ltl2dra.SymmetricDRAConstruction<R>

All Implemented Interfaces:

Function<LabelledFormula,Automaton<SymmetricRankingState,R>>

public final class SymmetricDRAConstruction<R extends GeneralizedRabinAcceptance>
extends Object
implements Function<LabelledFormula,Automaton<SymmetricRankingState,R>>

Implements the construction of Bibliography.LICS_18.

Method Summary

Modifier and Type	Method	Description
Automaton<SymmetricRankingState,R>	apply(LabelledFormula formula)
static <R extends GeneralizedRabinAcceptance> SymmetricDRAConstruction<R>	of(Class<R> clazz, boolean optimizeInitialState)

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 <R extends GeneralizedRabinAcceptance> SymmetricDRAConstruction<R> of(Class<R> clazz,
                                                                                    boolean optimizeInitialState)

apply

public Automaton<SymmetricRankingState,R> apply(LabelledFormula formula)

Specified by:

apply in interface Function<LabelledFormula,Automaton<SymmetricRankingState,R extends GeneralizedRabinAcceptance>>