Uses of Interface
org.colomoto.biolqm.StatefulLogicalModel

Packages that use StatefulLogicalModel

Package	Description
org.colomoto.biolqm
org.ginsim.service.tool.avatar.simulation
org.ginsim.servicegui.tool.avatar
org.ginsim.servicegui.tool.avatar.algopanels

Uses of StatefulLogicalModel in org.colomoto.biolqm

Classes in org.colomoto.biolqm that implement StatefulLogicalModel

Modifier and Type	Class and Description
class	StatefulLogicalModelImpl Extension of a logical model with the possibility to maintain a set of initial states and oracles. Implements the StatefulLogicalModel interface.

Uses of StatefulLogicalModel in org.ginsim.service.tool.avatar.simulation

Fields in org.ginsim.service.tool.avatar.simulation declared as StatefulLogicalModel

Modifier and Type	Field and Description
protected StatefulLogicalModel	Simulation.model

Methods in org.ginsim.service.tool.avatar.simulation with parameters of type StatefulLogicalModel

Modifier and Type	Method and Description
void	MonteCarloSimulation.addModel(StatefulLogicalModel _model)
void	AvatarSimulation.addModel(StatefulLogicalModel _model)
void	FirefrontSimulation.addModel(StatefulLogicalModel _model)
void	Simulation.addModel(StatefulLogicalModel _model)
static StateSet	Reachable.computeReachableStates(StatefulLogicalModel model) Method to find all the reachable states from a given portion of the state space

Uses of StatefulLogicalModel in org.ginsim.servicegui.tool.avatar

Constructors in org.ginsim.servicegui.tool.avatar with parameters of type StatefulLogicalModel

Constructor and Description
AvatarResults(Simulation _sim, JTextArea _progress, AvatarConfigFrame _parent, boolean _quiet, StatefulLogicalModel _model, File _memFile, File _logFile, File _resFile, File _csvFile, JButton _brun, JButton _stop) Creates the necessary context to run a simulation and display its results

Uses of StatefulLogicalModel in org.ginsim.servicegui.tool.avatar.algopanels

Methods in org.ginsim.servicegui.tool.avatar.algopanels with parameters of type StatefulLogicalModel

Modifier and Type	Method and Description
Simulation	FirefrontPanel.getSimulation(StatefulLogicalModel model, boolean quiet)
Simulation	AvatarPanel.getSimulation(StatefulLogicalModel model, boolean quiet)
Simulation	MonteCarloPanel.getSimulation(StatefulLogicalModel model, boolean quiet)
abstract Simulation	SimulationPanel.getSimulation(StatefulLogicalModel model, boolean quiet) Given contextual information, returns a simulation adequately parameterized according to the panel