org.ginsim.service.tool.avatar.simulation

Class Simulation

java.lang.Object

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

Direct Known Subclasses:

AvatarSimulation, FirefrontSimulation, MonteCarloSimulation

public abstract class Simulation
extends Object

Class defining an abstract simulation and providing facilities for their management.
Specialized simulations (e.g. Avatar, Firefront, MonteCarlo) can be added.

Version:

1.0

Author:

Rui Henriques, Pedro T. Monteiro

Field Summary

Fields

Modifier and Type	Field and Description
protected ChartGNUPlot	chart
protected boolean	exit
boolean	isGUI whether a graphical or programmatic interface is being used (to store outputs)
protected int	memory
protected StatefulLogicalModel	model
protected List<CompactStateSet>	oracle
String	outputDir output directory to save the outputs
boolean	quiet whether detailed logs of the behavior of the simulation are to be printed (true is suggested to not hamper efficiency)
protected String	resultLog
protected Thread	t1

Constructor Summary

Constructors

Constructor and Description
Simulation()

Method Summary

Modifier and Type	Method and Description
void	addModel(StatefulLogicalModel _model)
abstract void	dynamicUpdateValues() Updates a simulation with parameterizations dynamically fixed based on the properties of the input model
void	exit()
abstract String	getName()
protected void	output(String s)
abstract String	parametersToString() Prints the current parameters
protected void	publish(String note)
Result	run()
abstract Result	runSim() Performs the simulation
Result	runSimulation() Performs the simulation
protected String	saveOutput()
void	setComponents(JTextArea _progress)

Methods inherited from class java.lang.Object

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

Field Detail

outputDir

public String outputDir

output directory to save the outputs

isGUI

public boolean isGUI

whether a graphical or programmatic interface is being used (to store outputs)

quiet

public boolean quiet

whether detailed logs of the behavior of the simulation are to be printed (true is suggested to not hamper efficiency)

model

protected StatefulLogicalModel model

oracle

protected List<CompactStateSet> oracle

resultLog

protected String resultLog

chart

protected ChartGNUPlot chart

memory

protected int memory

exit

protected boolean exit

t1

protected Thread t1

Constructor Detail

Simulation

public Simulation()

Method Detail

addModel

public void addModel(StatefulLogicalModel _model)

runSimulation

public Result runSimulation()
                     throws Exception

Performs the simulation

Returns:

the discovered attractors, their reachability, and remaining contextual information

Throws:

Exception

runSim

public abstract Result runSim()
                       throws Exception

Performs the simulation

Returns:

the discovered attractors, their reachability, and remaining contextual information

Throws:

Exception

parametersToString

public abstract String parametersToString()

Prints the current parameters

Returns:

a String describing the parameters

getName

public abstract String getName()

dynamicUpdateValues

public abstract void dynamicUpdateValues()

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

output

protected void output(String s)

saveOutput

protected String saveOutput()

exit

public void exit()

run

public Result run()
           throws Exception

Throws:

Exception

setComponents

public void setComponents(JTextArea _progress)

publish

protected void publish(String note)