org.ginsim.service.tool.avatar.simulation

Class FirefrontSimulation

java.lang.Object

org.ginsim.service.tool.avatar.simulation.Simulation

org.ginsim.service.tool.avatar.simulation.FirefrontSimulation

Direct Known Subclasses:

FirefrontMDDSimulation

public class FirefrontSimulation
extends Simulation

Firefront simulation for the quasi-exact analysis of point attractors

Version:

1.0

Author:

Rui Henriques, Pedro T. Monteiro, Nuno Mendes

Field Summary

Fields

Modifier and Type	Field and Description
double	alpha minimum probability of a state to be considered relevant
double	beta minimum residual probability in F to stop simulation
static double	DEFAULT_ALPHA
int	maxDepth maximum depth
int	maxExpand maximum number of states to expand per iteration
protected org.colomoto.biolqm.tool.simulation.multiplesuccessor.AsynchronousUpdater	updater

Fields inherited from class org.ginsim.service.tool.avatar.simulation.Simulation

chart, exit, isGUI, memory, model, oracle, outputDir, quiet, resultLog, t1

Constructor Summary

Constructors

Constructor and Description
FirefrontSimulation() Instantiates a Firefront simulation

Method Summary

Modifier and Type	Method and Description
void	addModel(StatefulLogicalModel _model)
void	dynamicUpdateValues() Updates a simulation with parameterizations dynamically fixed based on the properties of the input model
String	getName()
String	parametersToString() Prints the current parameters
Result	runSim() Performs the simulation

Methods inherited from class org.ginsim.service.tool.avatar.simulation.Simulation

exit, output, publish, run, runSimulation, saveOutput, setComponents

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_ALPHA

public static double DEFAULT_ALPHA

alpha

public double alpha

minimum probability of a state to be considered relevant

beta

public double beta

minimum residual probability in F to stop simulation

maxDepth

public int maxDepth

maximum depth

maxExpand

public int maxExpand

maximum number of states to expand per iteration

updater

protected org.colomoto.biolqm.tool.simulation.multiplesuccessor.AsynchronousUpdater updater

Constructor Detail

FirefrontSimulation

public FirefrontSimulation()

Instantiates a Firefront simulation

Method Detail

addModel

public void addModel(StatefulLogicalModel _model)

Overrides:

addModel in class Simulation

runSim

public Result runSim()
              throws IOException

Description copied from class: Simulation

Performs the simulation

Specified by:

runSim in class Simulation

Returns:

the discovered attractors, their reachability, and remaining contextual information

Throws:

IOException

dynamicUpdateValues

public void dynamicUpdateValues()

Description copied from class: Simulation

Updates a simulation with parameterizations dynamically fixed based on the properties of the input model

Specified by:

dynamicUpdateValues in class Simulation

parametersToString

public String parametersToString()

Description copied from class: Simulation

Prints the current parameters

Specified by:

parametersToString in class Simulation

Returns:

a String describing the parameters

getName

public String getName()

Specified by:

getName in class Simulation