From 3b06ebba442fc775d1cb76c2f4ebbd029c8b6306 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Mon, 22 Sep 2014 08:05:40 +0200
Subject: [PATCH] remove references from VPA
---
alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp | 6 +++---
alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h | 6 +++---
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp
index 61b6cf2111..57d1c97ceb 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp
@@ -188,15 +188,15 @@ bool VisiblyPushdownNPDA::removeTransition(const State& from, const alphabet::Sy
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;
}
-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;
}
-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;
}
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
index e446916aaf..132293068f 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
@@ -98,11 +98,11 @@ public:
*/
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;
--
GitLab