Package owl.translations.ltl2dela

Class NormalformDELAConstruction.Construction

java.lang.Object

owl.translations.ltl2dela.NormalformDELAConstruction.Construction

Enclosing class:

NormalformDELAConstruction

public static class NormalformDELAConstruction.Construction
extends Object

Method Summary

Modifier and Type	Method	Description
PropositionalFormula<Integer>	alpha(NormalformDELAConstruction.State state)
AbstractMemoizingAutomaton<NormalformDELAConstruction.State,EmersonLeiAcceptance>	automaton()
PropositionalFormula<Integer>	beta(NormalformDELAConstruction.State state)

Methods inherited from class java.lang.Object

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

Method Detail

automaton

public AbstractMemoizingAutomaton<NormalformDELAConstruction.State,EmersonLeiAcceptance> automaton()

alpha

public PropositionalFormula<Integer> alpha(NormalformDELAConstruction.State state)

beta

public PropositionalFormula<Integer> beta(NormalformDELAConstruction.State state)