Simulator PlugIn |
Classes | |
class | faudes::DeviceExecutor |
Executer with IO device to handle external/physical events. More... | |
class | faudes::Executor |
An Executor is a timed generator that maintains a current state. More... | |
class | faudes::LoggingExecutor |
Executor with logging facilities. More... | |
class | faudes::ParallelExecutor |
Synchronized parallel execution of TimedGenerators. More... | |
class | faudes::ProposingExecutor |
Executer that proposes which transition to execute. More... | |
Modules | |
Random Variables | |
Sampling or evaluating random variables for simulation. | |
Simulation Condition Attributes | |
Attributes to define simulation conditions used for statistic analysis of simulation runs. | |
Simulation Event Attributes | |
Attributes to define stochastic and priority properties. |
This plug-in provides classes to support the simulation of faudes generators. It is organized in a hierarchical fashion to introduce the following features:
The tutorial simfaudes.cpp demonstrates the use of the ProposingExecutor in a simple interactive simulator for the synchronous product of faudes generators.
The current implementation of the simulator plugin is a re-design based on Ruediger Berndt's and Christoph Doerr's student projects. It is distributed with libFAUDES and under the terms of the LGPL.
Copyright (c) 2008, Thomas Moor.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen