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