org.ginsim.service.tool.avatar.simulation.others

Class FirefrontMDDSimulation

java.lang.Object

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

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

org.ginsim.service.tool.avatar.simulation.others.FirefrontMDDSimulation

public class FirefrontMDDSimulation
extends FirefrontSimulation

Firefront simulation for the quasi-exact analysis of point attractors

Version:

1.0

Author:

Rui Henriques, Pedro T. Monteiro, Nuno Mendes

Field Summary

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

alpha, beta, DEFAULT_ALPHA, maxDepth, maxExpand, 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
FirefrontMDDSimulation() Instantiates a Firefront simulation based on a logical model

Method Summary

Modifier and Type	Method and Description
Result	runSimulation() Performs the simulation

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

addModel, dynamicUpdateValues, getName, parametersToString, runSim

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

exit, output, publish, run, saveOutput, setComponents

Methods inherited from class java.lang.Object

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

Constructor Detail

FirefrontMDDSimulation

public FirefrontMDDSimulation()

Instantiates a Firefront simulation based on a logical model

Parameters:

_model - a stateful logical model possibly defining a set of initial states and oracles

Method Detail

runSimulation

public Result runSimulation()
                     throws IOException

Description copied from class: Simulation

Performs the simulation

Overrides:

runSimulation in class Simulation

Returns:

the discovered attractors, their reachability, and remaining contextual information

Throws:

IOException