Class ToStateAcceptanceFixed

  • All Implemented Interfaces:

    public class ToStateAcceptanceFixed
    extends Object
    Convert automaton to state-based acceptance.

    This conversion relies on storing the acceptance signatures of the incoming transitions in the states, i.e., duplicating states depending on the acceptance signature that was seen when reaching the state.

    • Constructor Detail

      • ToStateAcceptanceFixed

        public ToStateAcceptanceFixed()
        Default constructor.
    • Method Detail

      • manipulate

        public manipulate​( automaton)
                                                       throws jhoafparser.consumer.HOAConsumerException
        Specified by:
        manipulate in interface