Package owl.automaton

Class AbstractImplicitAutomaton<S,​A extends OmegaAcceptance>

    • Method Detail

      • acceptance

        public final A acceptance()
        Description copied from interface: Automaton
        Returns the acceptance condition of this automaton.
        Returns:
        The acceptance.
      • initialStates

        public final Set<S> initialStates()
        Description copied from interface: Automaton
        Returns the set of initial states, which can potentially be empty.
        Returns:
        The set of initial states.