Class DeterminizedState

  • All Implemented Interfaces:
    State

    public class DeterminizedState
    extends AutomatonState
    A state in a determinized finite state machine
    • Constructor Detail

      • DeterminizedState

        public DeterminizedState​(FiniteStateMachine machine)
        Create a new state
        Parameters:
        machine - the finite state machine to which this state belongs
    • Method Detail

      • setProvenance

        public void setProvenance​(IntSet provenance)
        Set the provenance of a state in a determinized finite state machine. This is the set of corresponding states in the non-determinized FSA
        Parameters:
        provenance - the set of states in the non-deterministic FSA to which this state in the deterministic FSA corresponds. May be set to null when the information is no longer needed (specifically, once construction is complete).
      • getProvenance

        public IntSet getProvenance()
        Get the provenance of a state in a determinized finite state machine. This is the set of corresponding states in the non-determinized FSA
        Returns:
        the set of states in the non-deterministic FSA to which this state in the may be null is ininitially null indicating unknown or not relevant.