com.saxonica.fsa
Class DeterminizedState

java.lang.Object
  extended by com.saxonica.fsa.AutomatonState
      extended by com.saxonica.fsa.DeterminizedState
All Implemented Interfaces:
State, Serializable

public class DeterminizedState
extends AutomatonState

A state in a determinized finite state machine

See Also:
Serialized Form

Field Summary
 
Fields inherited from class com.saxonica.fsa.AutomatonState
EMPTY_EDGE_ARRAY, wildcardEdges
 
Constructor Summary
DeterminizedState(FiniteStateMachine machine)
          Create a new state
 
Method Summary
 IntSet getProvenance()
          Get the provenance of a state in a determinized finite state machine.
 void setProvenance(IntSet provenance)
          Set the provenance of a state in a determinized finite state machine.
 
Methods inherited from class com.saxonica.fsa.AutomatonState
addSpecificTransition, addWildcardTransition, display, displayLambdaTransitions, displayState, getEdges, getMaxTransition, getStateNumber, getTransition, getWildcardEdges, isConditionallyFinalState, isFinalState, listAllowedElements, requiresCounter, serialize, setFinalState, setLimits, setMaxTransition
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DeterminizedState

public DeterminizedState(FiniteStateMachine machine)
Create a new state

Parameters:
machine -
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


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



Copyright (c) Saxonica Limited. All rights reserved.