Package jhoafparser.extensions

Class ToStateAcceptanceFixed

java.lang.Object

jhoafparser.extensions.ToStateAcceptanceFixed

All Implemented Interfaces:

jhoafparser.storage.StoredAutomatonManipulator

public class ToStateAcceptanceFixed
extends Object
implements jhoafparser.storage.StoredAutomatonManipulator

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 Summary

Constructors

Constructor	Description
ToStateAcceptanceFixed()	Default constructor.

Method Summary

Modifier and Type	Method	Description
jhoafparser.storage.StoredAutomaton	manipulate(jhoafparser.storage.StoredAutomaton automaton)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ToStateAcceptanceFixed

public ToStateAcceptanceFixed()

Default constructor.

Method Detail

manipulate

public jhoafparser.storage.StoredAutomaton manipulate(jhoafparser.storage.StoredAutomaton automaton)
                                               throws jhoafparser.consumer.HOAConsumerException

Specified by:

manipulate in interface jhoafparser.storage.StoredAutomatonManipulator

Throws:

jhoafparser.consumer.HOAConsumerException