Package owl.automaton

Class EmptyAutomaton<S,A extends EmersonLeiAcceptance>

java.lang.Object

owl.automaton.AbstractMemoizingAutomaton<S,A>

owl.automaton.AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A>

owl.automaton.EmptyAutomaton<S,A>

All Implemented Interfaces:

Automaton<S,A>

public final class EmptyAutomaton<S,A extends EmersonLeiAcceptance>
extends AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A>

Nested Class Summary

Nested classes/interfaces inherited from class owl.automaton.AbstractMemoizingAutomaton

AbstractMemoizingAutomaton.EdgeImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgeMapImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgesImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation<A,B,C extends EmersonLeiAcceptance>

Nested classes/interfaces inherited from interface owl.automaton.Automaton

Automaton.Property

Field Summary

Fields inherited from class owl.automaton.AbstractMemoizingAutomaton

acceptance, atomicPropositions, factory, initialStates

Method Summary

Modifier and Type	Method	Description
protected MtBdd<Edge<S>>	edgeTreeImpl(S state)
static <S,A extends EmersonLeiAcceptance> Automaton<S,A>	of(List<String> atomicPropositions, A acceptance)
static <S,A extends EmersonLeiAcceptance> Automaton<S,A>	of(List<String> atomicPropositions, BddSetFactory factory, A acceptance)

Methods inherited from class owl.automaton.AbstractMemoizingAutomaton

acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, explorationCompleted, factory, initialState, initialStates, is, memoizingAutomaton, states, successor, successors, successors

Methods inherited from class java.lang.Object

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

Methods inherited from interface owl.automaton.Automaton

predecessors

Method Detail

of

public static <S,A extends EmersonLeiAcceptance> Automaton<S,A> of(List<String> atomicPropositions,
                                                                               A acceptance)

of

public static <S,A extends EmersonLeiAcceptance> Automaton<S,A> of(List<String> atomicPropositions,
                                                                               BddSetFactory factory,
                                                                               A acceptance)

edgeTreeImpl

protected MtBdd<Edge<S>> edgeTreeImpl(S state)

Specified by:

edgeTreeImpl in class AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>