java.lang.Object
- owl.automaton.AbstractMemoizingAutomaton<S,A>
- - owl.automaton.AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A>
  - - owl.automaton.SingletonAutomaton<S,A>

All Implemented Interfaces:: Automaton<S,A>

public final class SingletonAutomaton<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

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected MtBdd<Edge<S>>`	`edgeTreeImpl(S state)`
`static <S,A extends EmersonLeiAcceptance> Automaton<S,A>`	`of(List<String> atomicPropositions, BddSetFactory factory, S state, A acceptance)`
`static <S,A extends EmersonLeiAcceptance> Automaton<S,A>`	`of(List<String> atomicPropositions, BddSetFactory factory, S state, A acceptance, BitSet acceptanceSet)`
`static <S,A extends EmersonLeiAcceptance> Automaton<S,A>`	`of(List<String> atomicPropositions, BddSetFactory factory, S state, A acceptance, Set<Integer> acceptanceSet)`
`static <S,A extends EmersonLeiAcceptance> Automaton<S,A>`	`of(List<String> atomicPropositions, S state, A acceptance)`
`static <S,A extends EmersonLeiAcceptance> Automaton<S,A>`	`of(List<String> atomicPropositions, S state, A acceptance, BitSet acceptanceSet)`
`static <S,A extends EmersonLeiAcceptance> Automaton<S,A>`	`of(List<String> atomicPropositions, S state, A acceptance, Set<Integer> acceptanceSet)`

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,
                                                                               S state,
                                                                               A acceptance)

of

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

of

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

of

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

of

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

of

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

edgeTreeImpl
```
protected MtBdd<Edge<S>> edgeTreeImpl(S state)
```
Specified by:

edgeTreeImpl in class AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>

Class SingletonAutomaton<S,​A extends EmersonLeiAcceptance>

Nested Class Summary

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

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

Field Summary

Fields inherited from class owl.automaton.AbstractMemoizingAutomaton

Method Summary

Methods inherited from class owl.automaton.AbstractMemoizingAutomaton

Methods inherited from class java.lang.Object

Methods inherited from interface owl.automaton.Automaton

Method Detail

of

of

of

of

of

of

edgeTreeImpl

Class SingletonAutomaton<S,A extends EmersonLeiAcceptance>