org.ginsim.service.tool.simulation

Class STGSimulation

java.lang.Object

org.colomoto.biolqm.tool.simulation.multiplesuccessor.MultipleSuccessorSimulation

org.ginsim.service.tool.simulation.STGSimulation

public class STGSimulation
extends org.colomoto.biolqm.tool.simulation.multiplesuccessor.MultipleSuccessorSimulation

Simulation module to construct STG based on the updaters in LogicalModel

Author:

Lucas Baudin, Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
STGSimulation(org.colomoto.biolqm.LogicalModel model, org.colomoto.biolqm.tool.simulation.multiplesuccessor.MultipleSuccessorsUpdater updater)
STGSimulation(org.colomoto.biolqm.LogicalModel model, org.colomoto.biolqm.tool.simulation.multiplesuccessor.MultipleSuccessorsUpdater updater, org.colomoto.biolqm.tool.simulation.multiplesuccessor.SimulationStrategy strategy)

Method Summary

Modifier and Type	Method and Description
void	addState(byte[] state)
void	addTransition(byte[] from, byte[] to)
DynamicGraph	getGraph()

Methods inherited from class org.colomoto.biolqm.tool.simulation.multiplesuccessor.MultipleSuccessorSimulation

enqueue, runSimulation, runSimulation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

STGSimulation

public STGSimulation(org.colomoto.biolqm.LogicalModel model,
                     org.colomoto.biolqm.tool.simulation.multiplesuccessor.MultipleSuccessorsUpdater updater)

STGSimulation

public STGSimulation(org.colomoto.biolqm.LogicalModel model,
                     org.colomoto.biolqm.tool.simulation.multiplesuccessor.MultipleSuccessorsUpdater updater,
                     org.colomoto.biolqm.tool.simulation.multiplesuccessor.SimulationStrategy strategy)

Method Detail

getGraph

public DynamicGraph getGraph()

addState

public void addState(byte[] state)

Specified by:

addState in class org.colomoto.biolqm.tool.simulation.multiplesuccessor.MultipleSuccessorSimulation

addTransition

public void addTransition(byte[] from,
                          byte[] to)

Specified by:

addTransition in class org.colomoto.biolqm.tool.simulation.multiplesuccessor.MultipleSuccessorSimulation