sp_executor.h
Go to the documentation of this file.
71 * and it is updated whenever time or transitions are executed via Executor::ExecuteTime(Time::Type)
72 * or Executor::ExecuteEvent(Idx). If you plan to execute multiple generators with synchronized shared
73 * events, you will find the class ParallelExecutor with a very similar interface more appropriate.
75 * The Executor provides Methods that indicate which transitions currently are enabled, referring to the
76 * current state, the current clock values and the guard and invariant data from the TimedGenerator.
80 * Technically, the Executor class is derived from the TimedGenerator, however inheritence is private.
81 * The common way to initialise an Executor object is to construct it from a const ref to a TimedGenerator,
82 * which sets up additional internal data structures. Read-only access to the underlying generator
390 * Not implemented, should check for determinism and consitency of current state and clock values.
470 virtual void DoWrite(TokenWriter& rTw,const std::string& rLabel="", const Type* pContext=0) const;
libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |