Package owl.automaton

Class TwoPartAutomaton<A,​B,​C extends OmegaAcceptance>

    • Constructor Detail

      • TwoPartAutomaton

        public TwoPartAutomaton()
    • Method Detail

      • initialStates

        public final Set<Either<A,​B>> initialStates()
        Description copied from interface: Automaton
        Returns the set of initial states, which can potentially be empty.
        Specified by:
        initialStates in interface Automaton<A,​B>
        Returns:
        The set of initial states.
      • edges

        public final Set<Edge<Either<A,​B>>> edges​(Either<A,​B> state,
                                                        BitSet valuation)
        Description copied from interface: Automaton
        Returns the successor edges of the specified state under the given valuation.
        Specified by:
        edges in interface Automaton<A,​B>
        Specified by:
        edges in interface EdgeTreeAutomatonMixin<A,​B>
        Parameters:
        state - The starting state of the transition.
        valuation - The valuation.
        Returns:
        The successor edges, possibly empty.
      • edgeTree

        public final ValuationTree<Edge<Either<A,​B>>> edgeTree​(Either<A,​B> state)
        Description copied from interface: Automaton
        Returns a decision-tree with nodes labelled by literals and sets of edges as leaves.
        Specified by:
        edgeTree in interface Automaton<A,​B>
        Parameters:
        state - The state.
        Returns:
        A tree.
      • initialStatesA

        protected abstract Set<A> initialStatesA()
      • initialStatesB

        protected abstract Set<B> initialStatesB()
      • moveAtoB

        protected abstract Set<B> moveAtoB​(A state)