Package owl.automaton

Class AbstractMemoizingAutomaton.EdgeImplementation<S,A extends EmersonLeiAcceptance>

java.lang.Object

owl.automaton.AbstractMemoizingAutomaton<S,A>

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

owl.automaton.AbstractMemoizingAutomaton.EdgeImplementation<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.EdgeImplementation<S,A extends EmersonLeiAcceptance>
extends AbstractMemoizingAutomaton.EdgesImplementation<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
EdgeImplementation(List<String> atomicPropositions, Set<S> initialStates, A acceptance)
EdgeImplementation(List<String> atomicPropositions, BddSetFactory factory, Set<S> initialStates, A acceptance)

Method Summary

Modifier and Type	Method	Description
protected abstract Edge<S>	edgeImpl(S state, BitSet valuation)
protected Set<Edge<S>>	edgesImpl(S state, BitSet valuation)
boolean	is(Automaton.Property property)

Methods inherited from class owl.automaton.AbstractMemoizingAutomaton.EdgesImplementation

edgeTreeImpl, stateAtomicPropositions

Methods inherited from class owl.automaton.AbstractMemoizingAutomaton

acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, explorationCompleted, factory, initialState, initialStates, 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

EdgeImplementation

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

EdgeImplementation

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

Method Detail

edgeImpl

@Nullable
protected abstract Edge<S> edgeImpl(S state,
                                    BitSet valuation)

edgesImpl

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

Specified by:

edgesImpl in class AbstractMemoizingAutomaton.EdgesImplementation<S,A extends EmersonLeiAcceptance>

is

public final boolean is(Automaton.Property property)

Specified by:

is in interface Automaton<S,A extends EmersonLeiAcceptance>

Overrides:

is in class AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>