public class TransitionFSA extends Object
Modifier and Type | Field and Description |
---|---|
private StateFSA |
endingState |
private String |
internalId |
private boolean |
isEpsilonTransition |
private boolean |
isMaxDistPresent |
private int |
maxDistance |
private int |
NO_MAX_DISTANCE |
private StateFSA |
startingState |
private String |
transitionId |
Constructor and Description |
---|
TransitionFSA(String transitionId,
StateFSA startingState,
StateFSA endingState) |
TransitionFSA(String transitionId,
String internalId,
int maxDistance,
StateFSA staringState,
StateFSA endingState) |
Modifier and Type | Method and Description |
---|---|
StateFSA |
getEndingState() |
String |
getInternalId() |
int |
getMaxDistance() |
StateFSA |
getStartingState() |
String |
getTransitionId() |
private void |
initialize(boolean isEpsilonTransition,
String transitionId,
String internalId,
int maxDistance,
StateFSA startingState,
StateFSA endingState) |
boolean |
isEpsilonTransition() |
boolean |
isMaxDistancePresent() |
private boolean isEpsilonTransition
private String transitionId
private String internalId
private int maxDistance
private boolean isMaxDistPresent
private StateFSA startingState
private StateFSA endingState
private final int NO_MAX_DISTANCE
public TransitionFSA(String transitionId, StateFSA startingState, StateFSA endingState)
private void initialize(boolean isEpsilonTransition, String transitionId, String internalId, int maxDistance, StateFSA startingState, StateFSA endingState)
public boolean isEpsilonTransition()
public String getTransitionId()
public String getInternalId()
public int getMaxDistance()
public boolean isMaxDistancePresent()
public StateFSA getStartingState()
public StateFSA getEndingState()
Copyright © 2022 ART Group, University of Rome, Tor Vergata. All rights reserved.