org.eclipse.viatra.dse.designspace.api
Interfaces
IDesignSpace
IDesignSpaceChangeHandler
IDesignSpaceManager
IGetCertainTransitions
IState
ITransition
Classes
IGetCertainTransitions.FilterOptions
TrajectoryInfo
TransitionMetaData
Enums
IState.TraversalStateType
Exceptions
DesignSpaceException