org.ginsim.service.tool.reg2dyn

Class Simulation

java.lang.Object

org.ginsim.service.tool.reg2dyn.Simulation

All Implemented Interfaces:

Runnable

Direct Known Subclasses:

HTGSimulation

public class Simulation
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 boolean	breadthFirst
protected ProgressListener<Graph>	frame
protected SimulationHelper	helper
protected Iterator<byte[]>	initStatesIterator
protected int	maxdepth
protected int	maxnodes
int	nbnode
protected LinkedList	queue
protected boolean	ready
protected SimulationUpdater	updater

Constructor Summary

Constructors

Constructor and Description
Simulation(org.colomoto.biolqm.LogicalModel model, ProgressListener<Graph> frame, SimulationParameters params) Constructs an empty dynamic graph

Method Summary

Modifier and Type	Method and Description
Graph	do_simulation()
Iterator<byte[]>	getInitStatesIterator()
SimulationUpdater	getUpdaterForState(byte[] state) Create and initialize a SimulationUpdater for a given __state__.
void	interrupt()
void	run() run the simulation in a new thread.
void	set_initialStates(List nodeOrder, Map inputs, Map m_initState)
void	setInitStatesIterator(Iterator<byte[]> initStatesIterator)

Methods inherited from class java.lang.Object

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

Field Detail

queue

protected LinkedList queue

frame

protected final ProgressListener<Graph> frame

maxnodes

protected int maxnodes

maxdepth

protected int maxdepth

initStatesIterator

protected Iterator<byte[]> initStatesIterator

helper

protected SimulationHelper helper

updater

protected SimulationUpdater updater

breadthFirst

protected boolean breadthFirst

nbnode

public int nbnode

ready

protected boolean ready

Constructor Detail

Simulation

public Simulation(org.colomoto.biolqm.LogicalModel model,
                  ProgressListener<Graph> frame,
                  SimulationParameters params)

Constructs an empty dynamic graph

Parameters:

model - the logical model on which we are working

frame -

params -

Method Detail

set_initialStates

public void set_initialStates(List nodeOrder,
                              Map inputs,
                              Map m_initState)

interrupt

public void interrupt()

getUpdaterForState

public SimulationUpdater getUpdaterForState(byte[] state)

Create and initialize a SimulationUpdater for a given __state__.

Parameters:

state -

Returns:

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

getInitStatesIterator

public Iterator<byte[]> getInitStatesIterator()

Returns:

the initStatesIterator

setInitStatesIterator

public void setInitStatesIterator(Iterator<byte[]> initStatesIterator)

Parameters:

initStatesIterator - the initStatesIterator to set