Package com.saxonica.ee.schema.fsa

Class DeterminizedState

java.lang.Object

com.saxonica.ee.schema.fsa.AutomatonState

com.saxonica.ee.schema.fsa.DeterminizedState

All Implemented Interfaces:

State

public class DeterminizedState
extends AutomatonState

A state in a determinized finite state machine

Field Summary

Fields inherited from class com.saxonica.ee.schema.fsa.AutomatonState

EMPTY_EDGE_ARRAY, wildcardEdges

Constructor Summary

Constructors

Constructor	Description
DeterminizedState(FiniteStateMachine machine)	Create a new state

Method Summary

Modifier and Type	Method	Description
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.ee.schema.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 Details

DeterminizedState

public DeterminizedState(FiniteStateMachine machine)

Create a new state

Parameters:

machine - the finite state machine to which this state belongs

Method Details

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.