public class DeterminizedState extends AutomatonState
EMPTY_EDGE_ARRAY, wildcardEdges
Constructor and Description |
---|
DeterminizedState(FiniteStateMachine machine)
Create a new state
|
Modifier and Type | Method and 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.
|
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 belongspublic 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-2018 Saxonica Limited. All rights reserved.