Uses of Class org.svvrl.goal.core.tran.tester.FDSState

Packages that use FDSState
Package	Description
org.svvrl.goal.core.tran.tester

Uses of FDSState in org.svvrl.goal.core.tran.tester

Methods in org.svvrl.goal.core.tran.tester that return FDSState
Modifier and Type	Method	Description
`FDSState`	FDS.`createState()`	This method creates a FDS state.
`FDSState`	FDSTransition.`getFromState()`	Returns the source state of this transition
`FDSState`	FDS.`getStateWithID(int id)`	This method gets the state by id.
`FDSState`	FDSTransition.`getToState()`	Returns the destination state of this transition.

Methods in org.svvrl.goal.core.tran.tester that return types with arguments of type FDSState
Modifier and Type	Method	Description
`java.util.Set<java.util.Set<FDSState>>`	FDS.`getFinalStateSet()`	Returns the final states.
`java.util.Set<FDSState>`	FDS.`getInitialStates()`	Returns the initial state.
`java.util.Set<FDSState>`	FDS.`getStates()`	Returns the FDS states
`java.util.HashMap<FDSState,java.util.List<FDSTransition>>`	FDS.`getTransitionFromStateMap()`	Returns the map from an FDS state to transitions from the state.
`java.util.HashMap<FDSState,java.util.List<FDSTransition>>`	FDS.`getTransitionToStateMap()`	Returns the map from an FDS state to transitions to the state.

Methods in org.svvrl.goal.core.tran.tester with parameters of type FDSState
Modifier and Type	Method	Description
`boolean`	FDS.`evaluate(LTL qptl, FDSState from, FDSState to)`	Evaluates the transition relation between from state and to state.
`FDSTransition`	FDS.`getTransitionFromStateToState(FDSState from, FDSState to)`	Returns the transition from a specified source state to a specified destination state.
`java.util.List<FDSTransition>`	FDS.`getTransitionsFromState(FDSState from)`	Returns the transitions from a specified FDS state.
`java.util.List<FDSTransition>`	FDS.`getTransitionsToState(FDSState to)`	Returns the transitions to a specified FDS state.

Constructors in org.svvrl.goal.core.tran.tester with parameters of type FDSState
Constructor	Description
`FDSTransition(FDSState from, FDSState to)`	Constructs this transition with a source state and a destination state.