Package owl.automaton

Class AbstractMemoizingAutomaton.EdgeMapImplementation<S,A extends EmersonLeiAcceptance>

java.lang.Object

owl.automaton.AbstractMemoizingAutomaton<S,A>

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

Type Parameters:

S - the state type

A - the acceptance condition type

All Implemented Interfaces:

Automaton<S,A>

Enclosing class:

AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>

public abstract static class AbstractMemoizingAutomaton.EdgeMapImplementation<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.

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
EdgeMapImplementation(List<String> atomicPropositions, Set<S> initialStates, A acceptance)
EdgeMapImplementation(List<String> atomicPropositions, BddSetFactory factory, Set<S> initialStates, A acceptance)

Method Summary

Modifier and Type	Method	Description
protected abstract Map<Edge<S>,BddSet>	edgeMapImpl(S state)
protected MtBdd<Edge<S>>	edgeTreeImpl(S state)

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

Constructor Detail

EdgeMapImplementation

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

EdgeMapImplementation

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

Method Detail

edgeMapImpl

protected abstract Map<Edge<S>,BddSet> edgeMapImpl(S state)

edgeTreeImpl

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

Specified by:

edgeTreeImpl in class AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>