Skip to content
Snippets Groups Projects
Commit 3b06ebba authored by Jan Trávníček's avatar Jan Trávníček
Browse files

remove references from VPA

parent c15cab0a
No related branches found
No related tags found
No related merge requests found
...@@ -188,15 +188,15 @@ bool VisiblyPushdownNPDA::removeTransition(const State& from, const alphabet::Sy ...@@ -188,15 +188,15 @@ bool VisiblyPushdownNPDA::removeTransition(const State& from, const alphabet::Sy
return localTransitions[key].erase(to); return localTransitions[key].erase(to);
} }
   
const std::map<std::pair<State, alphabet::Symbol>, std::set<std::pair<State, alphabet::Symbol> > > VisiblyPushdownNPDA::getCallTransitions() const { const std::map<std::pair<State, alphabet::Symbol>, std::set<std::pair<State, alphabet::Symbol> > >& VisiblyPushdownNPDA::getCallTransitions() const {
return callTransitions; return callTransitions;
} }
   
const std::map<std::tuple<State, alphabet::Symbol, alphabet::Symbol>, std::set<State> > VisiblyPushdownNPDA::getReturnTransitions() const { const std::map<std::tuple<State, alphabet::Symbol, alphabet::Symbol>, std::set<State> >& VisiblyPushdownNPDA::getReturnTransitions() const {
return returnTransitions; return returnTransitions;
} }
   
const std::map<std::pair<State, alphabet::Symbol>, std::set<State> > VisiblyPushdownNPDA::getLocalTransitions() const { const std::map<std::pair<State, alphabet::Symbol>, std::set<State> >& VisiblyPushdownNPDA::getLocalTransitions() const {
return localTransitions; return localTransitions;
} }
   
......
...@@ -98,11 +98,11 @@ public: ...@@ -98,11 +98,11 @@ public:
*/ */
bool removeTransition(const State& current, const alphabet::Symbol& input, const State& next); bool removeTransition(const State& current, const alphabet::Symbol& input, const State& next);
   
const std::map<std::pair<State, alphabet::Symbol>, std::set<std::pair<State, alphabet::Symbol> > > getCallTransitions() const; const std::map<std::pair<State, alphabet::Symbol>, std::set<std::pair<State, alphabet::Symbol> > >& getCallTransitions() const;
   
const std::map<std::tuple<State, alphabet::Symbol, alphabet::Symbol>, std::set<State> > getReturnTransitions() const; const std::map<std::tuple<State, alphabet::Symbol, alphabet::Symbol>, std::set<State> >& getReturnTransitions() const;
   
const std::map<std::pair<State, alphabet::Symbol>, std::set<State> > getLocalTransitions() const; const std::map<std::pair<State, alphabet::Symbol>, std::set<State> >& getLocalTransitions() const;
   
virtual bool operator<(const alib::ObjectBase& other) const; virtual bool operator<(const alib::ObjectBase& other) const;
virtual bool operator==(const alib::ObjectBase& other) const; virtual bool operator==(const alib::ObjectBase& other) const;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment