Uses of Interface
ides.api.model.fsa.FSAModel

Packages that use FSAModel

ides.api.model.fsa
ides.api.plugin.layout
ides.api.plugin.operation
ides.api.presentation.fsa

Uses of FSAModel in ides.api.model.fsa

Subinterfaces of FSAModel in ides.api.model.fsa

interface

FSASupervisor An FSA supervisor is an FSA with a control map.

Methods in ides.api.model.fsa that return FSAModel

FSAModel	FSAModel.clone() Creates and returns a copy of this FSAModel.
FSAModel	FSAMessage.getSource() Retrieve the source of the message.

Constructors in ides.api.model.fsa with parameters of type FSAModel

FSAMessage(int eventType, int elementType, long elementId, FSAModel source)
Creates an FSA modification message to be passed to FSASubscriber s.

FSAMessage(int eventType, int elementType, long elementId, FSAModel source, java.lang.String messageText)
Creates an FSA modification message to be passed to FSASubscriber s.

Uses of FSAModel in ides.api.plugin.layout

Methods in ides.api.plugin.layout with parameters of type FSAModel

java.util.Map<java.lang.Long,java.awt.geom.Point2D.Float>

FSALayouter.layout(FSAModel model) Compute the locations of the states of an FSAModel.

Uses of FSAModel in ides.api.plugin.operation

Methods in ides.api.plugin.operation that return FSAModel

static FSAModel

FSAToolbox.modelFromList(java.util.List<DESEvent> list) Constructs an FSAModel representing a string from a list of DESEvents.

Methods in ides.api.plugin.operation with parameters of type FSAModel

static boolean	FSAToolbox.containsEpsilonTransitions(FSAModel model) Determines if there are any epsilon transitions in the model.
static java.util.Set<java.lang.Long>	FSAToolbox.getEpsilonTransitions(FSAModel model) Obtains a set of the ids of all epsilon transitions in the model.
static java.util.Set<java.lang.Long>	FSAToolbox.getInitialStates(FSAModel model) Obtains a set of the ids of all initial states in the model.
static java.util.Set<java.lang.Long>	FSAToolbox.getMarkedStates(FSAModel model) Obtains a set of the ids of all marked states in the model.
static boolean	FSAToolbox.hasControllabilityConflict(FSAModel[] models) A check to see whether there is a conflict in the controllability attribute of events contained in the given models.
static boolean	FSAToolbox.hasObservabilityConflict(FSAModel[] models) A check to see whether there is a conflict in the observability attribute of events contained in the given models.
static int	FSAToolbox.initialStateCount(FSAModel model) Identifies the number of initial states in the model.
static boolean	FSAToolbox.isDeterministic(FSAModel model) Determines whether the model is deterministic, i.e.
static boolean	FSAToolbox.isEmptyLanguage(FSAModel model) Determines whether the language represented by the automaton is empty.
static boolean	FSAToolbox.isEmptyModel(FSAModel model) Determines whether the given model is empty (has no states).
static boolean	FSAToolbox.isEpsilonLanguage(FSAModel model) Determines whether the language represented by the automaton is the epsilon language.
static int	FSAToolbox.markedStateCount(FSAModel model) Identifies the number of marked states in the model.

Uses of FSAModel in ides.api.presentation.fsa

Methods in ides.api.presentation.fsa with parameters of type FSAModel

static void

FSAStateLabeller.labelCompositeStates(FSAModel fsa) Labels in a human-readable way the states in models obtained by composing a number of other models (e.g., by calling the "product" or "sync" operations).