pd_merge.cpp
Go to the documentation of this file.
94 MergeStateAnnotation::MergeStateAnnotation(const Idx state, const std::string& annotation) : mState(state), mAnnotation(annotation){
108 rTw.WriteXmlComment("MergeStateAnnotation: " + mAnnotation + ", " + static_cast<std::ostringstream*>( &(std::ostringstream() << mState) )->str());
133 MergeStateEvent::MergeStateEvent(const Idx state, const Idx event) : mState(state), mEvent(event){
147 s << "MergeStateEvent: state " << mState << ", event " << vGenerator::GlobalEventSymbolTablep()->Symbol(mEvent);
181 MergeStateSplit::MergeStateSplit(const Idx state, const Idx symbol) : mState(state), mSymbol(symbol), mIsHead(false){
196 annotation = "MergeStateSplit: head, " + static_cast<std::ostringstream*>( &(std::ostringstream() << mState) )->str();
199 annotation = "MergeStateSplit: ear, " + static_cast<std::ostringstream*>( &(std::ostringstream() << mState) )->str() + ", " + StackSymbolSet::StaticSymbolTablep()->Symbol(mSymbol);
228 const std::vector<Idx>& pop, const std::vector<Idx>& push) : mX1(x1), mEv(ev), mX2(x2), mPop(pop), mPush(push)
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |