public class FSA extends Object
Modifier and Type | Field and Description |
---|---|
private List<StateFSA> |
endStateList |
private Map<String,TransitionFSA> |
internalIdToTransitionMap |
private List<StateFSA> |
startStateList |
private Map<String,StateFSA> |
stateMap |
private Map<String,TransitionFSA> |
transitionMap |
Constructor and Description |
---|
FSA() |
Modifier and Type | Method and Description |
---|---|
void |
addEndState(StateFSA endState) |
void |
addStartState(StateFSA startState) |
void |
addState(StateFSA state) |
void |
addTransition(TransitionFSA transition) |
List<StateFSA> |
getEndStateList() |
List<StateFSA> |
getStartStateList() |
Map<String,StateFSA> |
getStateMap() |
TransitionFSA |
getTransition(String transitionId) |
TransitionFSA |
getTransitionFromInternalId(String internalId) |
Collection<String> |
getTransitionId() |
private void |
initialize() |
private Map<String,TransitionFSA> transitionMap
private Map<String,TransitionFSA> internalIdToTransitionMap
private void initialize()
public void addStartState(StateFSA startState)
public void addEndState(StateFSA endState)
public void addState(StateFSA state)
public void addTransition(TransitionFSA transition)
public Collection<String> getTransitionId()
public TransitionFSA getTransition(String transitionId)
public TransitionFSA getTransitionFromInternalId(String internalId)
Copyright © 2022 ART Group, University of Rome, Tor Vergata. All rights reserved.