|
|
||||||
|
sp_plpexecutor.cpp
Go to the documentation of this file.
169 FD_DS("ProposingExecutor::ExecuteEvent(): ProposingExecutor to execute event "<< mSimEvents.Str(event));
213 FD_DS("ProposingExecutor::ExecuteEvent(): invalidating state for executed event "<< EStr(*eit));
323 FD_DS("ProposingExecutor::ProposeNextTransition(): propose by priority: " << mSimEvents.Str(candidate));
356 FD_DS("ProposingExecutor::ProposeNextTransition(): propose by stochastic: " << mSimEvents.Str(candidate) << " for " << Time::Str(occurence));
377 FD_DS("ProposingExecutor::ProposeNextTransition(): propose to pass time: "<< Time::Str(passtime));
408 FD_DS("ProposingExecutor::ProposeNextTransition(): propose by priority: " << mSimEvents.Str(candidate));
432 FD_DS("ProposingExecutor::ExecuteNextTransition() *********************************************************** ");
508 FD_DS("ProposingExecutor::Schedule(" << EStr(event) << "): for timed automaton target " << atarget.Str());
517 FD_DS("ProposingExecutor::Schedule(" << EStr(event) << "): for restricted target " << atarget.Str());
539 FD_DS("ProposingExecutor::Schedule(" << EStr(event) << ") internal error: no valid stochastic defs");
608 void ProposingExecutor::DoWrite(TokenWriter& rTw, const std::string& rLabel, const Type* pContext) const {
620 void ProposingExecutor::DoRead(TokenReader& rTr, const std::string& rLabel, const Type* pContext) {
660 errstr << "Invalid token, generators, conditions or simeventattribute section expected, " << rTr.FileLine();
695 pattr->mRelevantClocks.InsertSet(git->Generator().Invariant(git->CurrentState()).ActiveClocks());
699 FD_DS("ProposingExecutor::ExecuteEvent(): relevant clocks " << pattr->mRelevantClocks.ToString());
781 FD_DS("ProposingExecutor::EventValidity(): Event " << Alphabet().SymbolicName(ev)<< " is still valid");
#define FAUDES_TYPE_IMPLEMENTATION(ftype, ctype, cbase) Definition: cfl_types.h:951 Definition: cfl_exception.h:118 Definition: sp_lpexecutor.h:85 virtual bool RevertToStep(Idx step) Definition: sp_lpexecutor.cpp:656 void DoAssign(const LoggingExecutor &rSrc) Definition: sp_lpexecutor.cpp:54 virtual bool ExecuteTime(Time::Type duration) Definition: sp_lpexecutor.cpp:146 const SimConditionSet & Conditions(void) const Definition: sp_lpexecutor.cpp:209 virtual bool ExecuteEvent(Idx event) Definition: sp_lpexecutor.cpp:158 Time::Type CurrentTime(void) const Definition: sp_lpexecutor.h:196 Definition: cfl_nameset.h:69 const EventSet & EnabledEvents() const Definition: sp_pexecutor.cpp:277 const ParallelState & CurrentParallelState(void) const Definition: sp_pexecutor.cpp:319 EventSet ActiveEventSet(const ParallelState &stateVec) const Definition: sp_pexecutor.cpp:521 const TimeInterval & EnabledInterval() const Definition: sp_pexecutor.cpp:289 std::string CurrentParallelTimedStateStr(void) const Definition: sp_pexecutor.cpp:511 virtual void DoWriteGenerators(TokenWriter &rTw) const Definition: sp_pexecutor.cpp:159 const TimeInterval & EnabledTime() const Definition: sp_pexecutor.cpp:270 TimeInterval EnabledGuardTime(Idx event) const Definition: sp_pexecutor.cpp:307 virtual void DoReadGenerators(TokenReader &rTr) Definition: sp_pexecutor.cpp:194 const EventSet & Alphabet(void) const Definition: sp_pexecutor.cpp:229 std::string EventName(Idx index) const Definition: sp_pexecutor.h:210 TimeInterval EnabledEventTime(Idx event) const Definition: sp_pexecutor.cpp:295 Definition: sp_plpexecutor.h:165 bool ExecuteEvent(Idx event) Definition: sp_plpexecutor.cpp:168 virtual void DoRead(TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) Definition: sp_plpexecutor.cpp:620 void ResetProposer(long int seed=0) Definition: sp_plpexecutor.cpp:67 bool ExecuteTime(Time::Type duration) Definition: sp_plpexecutor.cpp:123 bool RevertToStep(Idx step) Definition: sp_plpexecutor.cpp:670 TimedEvent ExecuteNextTransition() Definition: sp_plpexecutor.cpp:431 std::string EventStatesToString(void) const Definition: sp_plpexecutor.cpp:105 virtual void DoWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const Definition: sp_plpexecutor.cpp:608 const SimEventAttribute & EventAttribute(Idx index) const Definition: sp_plpexecutor.cpp:49 Time::Type Schedule(Idx event, SimEventAttribute *pattr) Definition: sp_plpexecutor.cpp:475 void DoAssign(const ProposingExecutor &rSrc) Definition: sp_plpexecutor.cpp:40 const TimedEvent & ProposeNextTransition() Definition: sp_plpexecutor.cpp:263 const sEventSet & Alphabet(void) const Definition: sp_plpexecutor.h:245 bool ExecuteTransition(const TimedEvent &tevent) Definition: sp_plpexecutor.cpp:250 Definition: sp_simconditionset.h:404 Definition: sp_simeventset.h:149 void Priority(const SimPriorityEventAttribute &rPriorityAttribute) Definition: sp_simeventset.h:211 TimeInterval mReferenceInterval Definition: sp_simeventset.h:259 bool IsStochastic(void) const Definition: sp_simeventset.h:183 void Stochastic(const SimStochasticEventAttribute &rStochasticAttribute) Definition: sp_simeventset.h:200 virtual void InsertSet(const NameSet &rOtherSet) Definition: cfl_nameset.h:1055 const Attr & Attribute(const Idx &rElem) const Definition: cfl_nameset.h:853 virtual TaNameSet & Assign(const TBaseSet< Idx > &rSrc) Definition: cfl_nameset.h:990 Definition: tp_timeinterval.h:83 void PositiveLeftShift(Time::Type time) Definition: tp_timeinterval.cpp:51 void Intersect(const TimeInterval &rOtherInterval) Definition: tp_timeinterval.cpp:87 Definition: sp_executor.h:53 Definition: cfl_tokenreader.h:64 void ReadEnd(const std::string &rLabel) Definition: cfl_tokenreader.cpp:364 void ReadBegin(const std::string &rLabel) Definition: cfl_tokenreader.cpp:249 Definition: cfl_tokenwriter.h:52 void WriteEnd(const std::string &rLabel) Definition: cfl_tokenwriter.cpp:446 void WriteBegin(const std::string &rLabel) Definition: cfl_tokenwriter.cpp:439 Definition: cfl_token.h:54 Definition: cfl_types.h:239 void Read(const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) Definition: cfl_types.cpp:262 std::string ToString(const std::string &rLabel="", const Type *pContext=0) const Definition: cfl_types.cpp:170 double ran_gauss(double mu, double sigma, Time::Type tossLB, Time::Type tossUB) Definition: sp_random.cpp:132 Definition: cfl_agenerator.h:43 std::string ExpandString(const std::string &rString, unsigned int len) Definition: cfl_utils.cpp:80 libFAUDES 2.33a --- 2025.05.02 --- c++ api documentaion by doxygen |