org.ginsim.service.tool.reg2dyn.limitedsimulation

Class LimitedSimulation

java.lang.Object

org.ginsim.service.tool.reg2dyn.limitedsimulation.LimitedSimulation

All Implemented Interfaces:

Runnable

public class LimitedSimulation
extends Object
implements Runnable

This is the main part of the simulation. It supports pluggable backends to generate the following states and to switch from building a full state transition graph to a "simple" reachability set.

Field Summary

Fields

Modifier and Type	Field and Description
protected LinkedList<SimulationQueuedState>	queue

Constructor Summary

Constructors

Constructor and Description
LimitedSimulation(org.colomoto.biolqm.LogicalModel model, HierarchicalTransitionGraph htg, SimulationConstraint constraint, SimulationParameters params, ProgressListener<Graph> simulationManager) Constructs an empty dynamic graph

Method Summary

Modifier and Type	Method and Description
Graph	do_simulation()
void	interrupt()
void	run() run the simulation in a new thread.

Methods inherited from class java.lang.Object

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

Field Detail

queue

protected LinkedList<SimulationQueuedState> queue

Constructor Detail

LimitedSimulation

public LimitedSimulation(org.colomoto.biolqm.LogicalModel model,
                         HierarchicalTransitionGraph htg,
                         SimulationConstraint constraint,
                         SimulationParameters params,
                         ProgressListener<Graph> simulationManager)

Constructs an empty dynamic graph

Parameters:

model - the logical model on which we are working

htg - the hierarchical graph

params -

simulationManager -

Method Detail

interrupt

public void interrupt()

run

public void run()

run the simulation in a new thread.

Specified by:

run in interface Runnable

do_simulation

public Graph do_simulation()
                    throws GsException

Throws:

GsException