Package owl.automaton

Class AbstractMemoizingAutomaton.EdgeImplementation<S,​A extends EmersonLeiAcceptance>

  • 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.