|Constructor and Description|
Create a new state
|Modifier and Type||Method and Description|
Get the provenance of a state in a determinized finite state machine.
Set the provenance of a state in a determinized finite state machine.
addSpecificTransition, addWildcardTransition, display, displayLambdaTransitions, displayState, getEdges, getMaxTransition, getStateNumber, getTransition, getWildcardEdges, isConditionallyFinalState, isFinalState, listAllowedElements, requiresCounter, serialize, setFinalState, setLimits, setMaxTransition
public DeterminizedState(FiniteStateMachine machine)
machine- the finite state machine to which this state belongs
public void setProvenance(IntSet provenance)
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).
public IntSet getProvenance()
Copyright (c) 2004-2014 Saxonica Limited. All rights reserved.