From 32fdad662b82ab430b19db8cd9769c00e428c31d Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Mon, 26 Mar 2018 19:42:14 +0100
Subject: [PATCH] CtxAutTransition(s), renaming

---
 ctx_aut.cc | 2 +-
 ctx_aut.hh | 2 +-
 symrs.hh   | 1 +
 types.hh   | 4 ++--
 4 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/ctx_aut.cc b/ctx_aut.cc
index 8a3c5bb..57ad359 100644
--- a/ctx_aut.cc
+++ b/ctx_aut.cc
@@ -86,7 +86,7 @@ void CtxAut::addTransition(std::string srcStateName, std::string dstStateName)
 {
     VERB_L3("Saving transition");
 	
-	Transition new_transition;
+	CtxAutTransition new_transition;
 	
 	new_transition.src_state = getStateID(srcStateName);
 	new_transition.ctx = tmpEntities; 
diff --git a/ctx_aut.hh b/ctx_aut.hh
index 766873d..64228f2 100644
--- a/ctx_aut.hh
+++ b/ctx_aut.hh
@@ -51,7 +51,7 @@ class CtxAut
 		State init_state_id;
 		bool init_state_defined;
 		Entities tmpEntities;
-		Transitions transitions;
+		CtxAutTransitions transitions;
 };
 
 #endif /* RS_CTX_AUT_HH */
diff --git a/symrs.hh b/symrs.hh
index bd9ef99..9f65b4c 100644
--- a/symrs.hh
+++ b/symrs.hh
@@ -148,6 +148,7 @@ public:
     BDD encEntity(std::string name) const {
         return encEntity(rs->getEntityID(name));
     }
+	
     BDD encActStrEntity(std::string name) const;
     BDD getBDDtrue(void) const { return BDD_TRUE; }
     BDD getBDDfalse(void) const { return BDD_FALSE; }
diff --git a/types.hh b/types.hh
index 0e8a79e..23529bf 100644
--- a/types.hh
+++ b/types.hh
@@ -39,12 +39,12 @@ typedef std::vector<ReactionCond> ReactionConds;
 typedef std::map<Entity,ReactionConds> DecompReactions;
 typedef std::vector<int> StateEntityToAction;
 
-struct Transition {
+struct CtxAutTransition {
 	State src_state;
 	Entities ctx;
 	State dst_state;
 };
 
-typedef std::vector<Transition> Transitions;
+typedef std::vector<CtxAutTransition> CtxAutTransitions;
 
 #endif