The tutorial simfaudes.cpp demonstrates the use of the ProposingExecutor in a simple interactive simulator for the synchronous product of faudes generators.
Copyright (c) 2008, Thomas Moor.
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. | |
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 tGenerators. More... | |
class | faudes::ProposingExecutor |
Executer that proposes which transition to execute. More... |