org.ginsim.service.tool.reg2dyn.htg

Class HTGSimulation

java.lang.Object

org.ginsim.service.tool.reg2dyn.Simulation

org.ginsim.service.tool.reg2dyn.htg.HTGSimulation

All Implemented Interfaces:

Runnable

public class HTGSimulation
extends Simulation

Run a simulation to construct a HierarchicalTransitionGraph

Field Summary

Fields

Modifier and Type	Field and Description
protected byte[]	childsCount An array indicating for each node in the nodeOrder their count of childs.
protected int	depth The current depth in the dfs.
protected HierarchicalTransitionGraph	htg The HierarchicalTransitionGraph in construction
protected int	index The index of the next state found during the dfs.
protected long	lastDraw
protected int	max_depth_reached The current maximal depth of the dfs of the current initial state.
protected int	nbinitialstates
protected HierarchicalNodeSet	nodeSet A HashSet<HierarchicalNode> containg all the masters nodes.
protected long	queueSearchCount
protected HierarchicalSigmaSetFactory	sigmaFactory The simulation parameters
protected int	step
protected NodeAttributesReader	vreader

Fields inherited from class org.ginsim.service.tool.reg2dyn.Simulation

breadthFirst, frame, helper, initStatesIterator, maxdepth, maxnodes, nbnode, queue, ready, updater

Constructor Summary

Constructors

Constructor and Description
HTGSimulation(org.colomoto.biolqm.LogicalModel model, ProgressListener<Graph> plist, SimulationParameters params)

Method Summary

Modifier and Type	Method and Description
Graph	do_simulation() Run the simulation, handle exception and build the graph.
int	getMaxDepth()
int	getMaxNodes()
boolean	getReady()
void	setMaxDepth(int max_depth_reached2)
void	setQueueSearchCount(long queueSearchCount)

Methods inherited from class org.ginsim.service.tool.reg2dyn.Simulation

getInitStatesIterator, getUpdaterForState, interrupt, run, set_initialStates, setInitStatesIterator

Methods inherited from class java.lang.Object

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

Field Detail

htg

protected HierarchicalTransitionGraph htg

The HierarchicalTransitionGraph in construction

childsCount

protected byte[] childsCount

An array indicating for each node in the nodeOrder their count of childs. (ie. their max value)

nodeSet

protected HierarchicalNodeSet nodeSet

A HashSet<HierarchicalNode> containg all the masters nodes.

index

protected int index

The index of the next state found during the dfs.

depth

protected int depth

The current depth in the dfs. Used mainly for the simulation limit's.

max_depth_reached

protected int max_depth_reached

The current maximal depth of the dfs of the current initial state.

lastDraw

protected long lastDraw

nbinitialstates

protected int nbinitialstates

step

protected int step

queueSearchCount

protected long queueSearchCount

sigmaFactory

protected HierarchicalSigmaSetFactory sigmaFactory

The simulation parameters

vreader

protected NodeAttributesReader vreader

Constructor Detail

HTGSimulation

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

Method Detail

do_simulation

public Graph do_simulation()
                    throws GsException

Run the simulation, handle exception and build the graph.

Overrides:

do_simulation in class Simulation

Throws:

GsException

getMaxNodes

public int getMaxNodes()

getMaxDepth

public int getMaxDepth()

getReady

public boolean getReady()

setMaxDepth

public void setMaxDepth(int max_depth_reached2)

setQueueSearchCount

public void setQueueSearchCount(long queueSearchCount)