|
Go to the documentation of this file.
14 #ifndef FAUDES_PEXECUTOR_H
15 #define FAUDES_PEXECUTOR_H
81 virtual void DoRead( TokenReader& rTr, const std::string& rLabel = "", const Type* pContext=0);
82 virtual void DoWrite( TokenWriter& rTw, const std::string& rLabel= "", const Type* pContext=0) const;
124 virtual void Clear( void);
130 Idx Size( void) const;
148 void Insert( const std::string& rFileName);
172 virtual void Reset( void);
180 typedef std::vector<Executor>::const_iterator Iterator;
183 const Executor& At( int i) const { return mExecutors.at(i); };
197 Idx EventIndex( const std::string& rName) const { return mAlphabet.Index(rName); };
210 std::string EventName( Idx index) const { return mAlphabet.SymbolicName(index); };
222 int CurrentStep( void) const;
234 bool IsDeadlocked() const;
244 virtual bool Valid( void) const { return true;};
256 const ParallelTimedState& CurrentParallelTimedState( void) const;
267 const ParallelState& CurrentParallelState( void) const;
290 virtual void CurrentStep( int step);
301 virtual bool CurrentParallelTimedState( const ParallelTimedState& ptstate);
312 virtual bool ExecuteTime( Time::Type duration);
325 virtual bool ExecuteEvent( Idx event);
345 const EventSet& EnabledEvents() const;
356 const EventSet& DisabledEvents() const;
405 EventSet ActiveEventSet( const ParallelState& stateVec) const;
421 bool Active( Idx ev, const ParallelState& stateVec) const;
435 bool Active( Idx ev) const;
440 std::string PTSStr( const ParallelTimedState& ptstate) const;
445 std::string PSStr( const ParallelState& pstate) const;
450 std::string TEStr( const TimedEvent& tevent) const;
455 std::string CStr( Idx clock) const;
460 std::string EStr( Idx event) const;
465 std::string CurrentParallelTimedStateStr( void) const;
470 std::string CurrentParallelStateStr( void) const;
474 void ComputeEnabled( void) const;
477 void ComputeEnabledNonConst( void);
498 virtual void DoRead( TokenReader& rTr, const std::string& rLabel = "", const Type* pContext=0);
513 virtual void DoWrite( TokenWriter& rTw, const std::string& rLabel= "", const Type* pContext=0) const;
554 virtual void DoWriteGenerators( TokenWriter& rTw) const;
566 virtual void Compile();
610 void UpdateParallelTimedState( void);
libFAUDES 2.28a
--- 2016.09.13
--- c++ api documentaion by doxygen
|