adevs
Classes | Public Member Functions | List of all members
adevs::Simulator< X, T > Class Template Reference

#include <adevs_simulator.h>

Inheritance diagram for adevs::Simulator< X, T >:
adevs::AbstractSimulator< X, T >

Public Member Functions

 Simulator (Devs< X, T > *model)
 
nextEventTime ()
 
void execNextEvent ()
 Execute the simulation cycle at time nextEventTime()
 
void execUntil (T tend)
 Execute until nextEventTime() > tend.
 
void computeNextOutput ()
 
void computeNextOutput (Bag< Event< X, T > > &input, T t)
 
void computeNextState (Bag< Event< X, T > > &input, T t)
 
void computeNextState ()
 
 ~Simulator ()
 
void addModel (Atomic< X, T > *model)
 
- Public Member Functions inherited from adevs::AbstractSimulator< X, T >
void addEventListener (EventListener< X, T > *l)
 
void removeEventListener (EventListener< X, T > *l)
 Remove an event listener.
 
virtual ~AbstractSimulator ()
 Destructor leaves the model intact.
 
void notify_output_listeners (Devs< X, T > *model, const X &value, T t)
 Notify listeners of an output event.
 
void notify_state_listeners (Atomic< X, T > *model, T t)
 Notify listeners of a state change.
 

Detailed Description

template<class X, class T = double>
class adevs::Simulator< X, T >

This Simulator class implements the DEVS simulation algorithm. Its methods throw adevs::exception objects if any of the DEVS model constraints are violated (i.e., a negative time advance, a model attempting to send an input directly to itself, or coupled Mealy type systems).

Constructor & Destructor Documentation

template<class X, class T = double>
adevs::Simulator< X, T >::Simulator ( Devs< X, T > *  model)
inline

Create a simulator for a model. The simulator constructor will fail and throw an adevs::exception if the time advance of any component atomic model is less than zero.

Parameters
modelThe model to simulate
template<class X , class T >
adevs::Simulator< X, T >::~Simulator ( )

Deletes the simulator, but leaves the model intact. The model must exist when the simulator is deleted. Delete the model only after the Simulator is deleted.

References adevs::Bag< T >::begin(), and adevs::Bag< T >::end().

Referenced by adevs::Simulator< InternalType, T >::execUntil().

Member Function Documentation

template<class X, class T = double>
void adevs::Simulator< X, T >::addModel ( Atomic< X, T > *  model)
inline

Assign a model to the simulator. This has the same effect as passing the model to the constructor.

template<class X , class T >
void adevs::Simulator< X, T >::computeNextOutput ( )

Compute the output values of the imminent component models if these values have not already been computed. This will notify registered EventListeners as the outputs are produced.

Referenced by adevs::Simulator< X, T >::computeNextState(), adevs::Simulator< InternalType, T >::execUntil(), and adevs::ModelWrapper< ExternalType, InternalType, T >::output_func().

template<class X, class T>
void adevs::Simulator< X, T >::computeNextOutput ( Bag< Event< X, T > > &  input,
t 
)

Compute the output value of the model in response to an input at some time in lastEventTime() <= t <= nextEventTime(). This will notify registered EventListeners as the outputs are produced. If this is the first call since the prior state change with the given t, then the new output is computed. Subsequent calls for the same time t simply append to the input already supplied at time t.

Parameters
inputA bag of (input target,value) pairs
tThe time at which the input takes effect

References adevs::Bag< T >::begin(), adevs::Bag< T >::end(), adevs::Devs< X, T >::getParent(), adevs::MealyAtomic< X, T >::output_func(), and adevs::Atomic< X, T >::typeIsAtomic().

template<class X, class T>
void adevs::Simulator< X, T >::computeNextState ( Bag< Event< X, T > > &  input,
t 
)

Apply the bag of inputs at time t and then compute the next model states. Requires that lastEventTime() <= t <= nextEventTime(). This, in effect, implements the state transition function of the resultant model. If the output has already been computed at time t, then the new input at t is simply appended to the prior input. Otherwise, the old results are discarded and input is calculated at the given time.

Parameters
inputA bag of (input target,value) pairs
tThe time at which the input takes effect

References adevs::Simulator< X, T >::computeNextOutput(), and adevs::Simulator< X, T >::computeNextState().

Referenced by adevs::ModelWrapper< ExternalType, InternalType, T >::delta_conf(), and adevs::ModelWrapper< ExternalType, InternalType, T >::delta_ext().

template<class X, class T>
void adevs::Simulator< X, T >::computeNextState ( )

Compute the next state at the time at the time t and with input supplied at the prior call to computeNextOutput assuming no computeNextState has intervened. Assumes t = nextEventTime() and input an empty bag if there was no prior call to computeNextOutput.

The new states are in effect at t + eps so advance t

Compute model transitions and build up the prev (pre-transition) and next (post-transition) component sets. These sets are built up from only the models that have the model_transition function evaluated.

The model adds are processed first. This is done so that, if any of the added models are components something that was removed at a higher level, then the models will not have been deleted when trying to schedule them.

If this model has children, then remove them from the deletion set. This will avoid double delete problems.

References adevs::Bag< T >::begin(), adevs::Bag< T >::clear(), adevs::Simulator< X, T >::computeNextOutput(), adevs::Atomic< X, T >::delta_conf(), adevs::Atomic< X, T >::delta_ext(), adevs::Atomic< X, T >::delta_int(), adevs::Bag< T >::end(), adevs::Atomic< X, T >::gc_output(), adevs::Network< X, T >::getComponents(), adevs::Devs< X, T >::getParent(), adevs::Bag< T >::insert(), adevs::Devs< X, T >::model_transition(), adevs::AbstractSimulator< X, T >::notify_output_listeners(), adevs::AbstractSimulator< X, T >::notify_state_listeners(), adevs::Network< X, T >::route(), adevs::set_assign_diff(), adevs::Atomic< X, T >::ta(), adevs::Devs< X, T >::typeIsAtomic(), adevs::Atomic< X, T >::typeIsAtomic(), adevs::Devs< X, T >::typeIsMealyAtomic(), and adevs::Devs< X, T >::typeIsNetwork().

Referenced by adevs::Simulator< X, T >::computeNextState(), adevs::Simulator< InternalType, T >::execNextEvent(), and adevs::Simulator< InternalType, T >::execUntil().

template<class X, class T = double>
T adevs::Simulator< X, T >::nextEventTime ( )
inlinevirtual

The documentation for this class was generated from the following files: