Package owl.automaton

Class AbstractMemoizingAutomaton.EdgesImplementation<S,A extends EmersonLeiAcceptance>

java.lang.Object

owl.automaton.AbstractMemoizingAutomaton<S,A>

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

Type Parameters:

S - the state type

A - the acceptance condition type

All Implemented Interfaces:

Automaton<S,A>

Direct Known Subclasses:

AbstractMemoizingAutomaton.EdgeImplementation

Enclosing class:

AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>

public abstract static class AbstractMemoizingAutomaton.EdgesImplementation<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
EdgesImplementation(List<String> atomicPropositions, Set<S> initialStates, A acceptance)
EdgesImplementation(List<String> atomicPropositions, BddSetFactory factory, Set<S> initialStates, A acceptance)

Method Summary

Modifier and Type	Method	Description
protected abstract Set<Edge<S>>	edgesImpl(S state, BitSet valuation)
protected MtBdd<Edge<S>>	edgeTreeImpl(S state)
protected BitSet	stateAtomicPropositions(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

EdgesImplementation

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

EdgesImplementation

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

Method Detail

edgesImpl

protected abstract Set<Edge<S>> edgesImpl(S state,
                                          BitSet valuation)

stateAtomicPropositions

protected BitSet stateAtomicPropositions(S state)

edgeTreeImpl

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

Specified by:

edgeTreeImpl in class AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>