Package owl.automaton

Class AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A extends EmersonLeiAcceptance>

java.lang.Object

owl.automaton.AbstractMemoizingAutomaton<S,A>

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

Type Parameters:

S - the state type

A - the acceptance condition type

All Implemented Interfaces:

Automaton<S,A>

Direct Known Subclasses:

DeterministicConstructions.CoSafety, DeterministicConstructions.CoSafetySafety, DeterministicConstructions.CoSafetySafetyRoundRobin, DeterministicConstructions.GfCoSafety, DeterministicConstructions.Safety, DeterministicConstructions.SafetyCoSafety, DeterministicConstructions.SafetyCoSafetyRoundRobin, DeterministicConstructions.Tracking, EmptyAutomaton, NonDeterministicConstructions.CoSafety, NonDeterministicConstructions.FgSafety, NonDeterministicConstructions.GfCoSafety, NonDeterministicConstructions.Safety, NonDeterministicConstructions.Tracking, SimulationGame, SingletonAutomaton

Enclosing class:

AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>

public abstract static class AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A extends EmersonLeiAcceptance>
extends AbstractMemoizingAutomaton<S,A>

This class provides a skeletal implementation of the Automaton interface to minimize the effort required to implement this interface.

It assumes that the automaton is immutable, i.e., the set of initial states, the transition relation, and the acceptance condition is fixed. It makes use of this assumption by caching the set of states and by memoizing the transition relation as MtBdd.

This is the recommended implementation class.

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

Constructor Summary

Constructors

Constructor	Description
EdgeTreeImplementation(List<String> atomicPropositions, Set<S> initialStates, A acceptance)
EdgeTreeImplementation(List<String> atomicPropositions, BddSetFactory factory, Set<S> initialStates, A acceptance)

Method Summary

Methods inherited from class owl.automaton.AbstractMemoizingAutomaton

acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, edgeTreeImpl, 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

Constructor Detail

EdgeTreeImplementation

public EdgeTreeImplementation(List<String> atomicPropositions,
                              Set<S> initialStates,
                              A acceptance)

EdgeTreeImplementation

public EdgeTreeImplementation(List<String> atomicPropositions,
                              BddSetFactory factory,
                              Set<S> initialStates,
                              A acceptance)