From 6ecd71c4859ec673c6f9061282a48fa4ac5ef6fb Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 10 Aug 2014 15:17:14 +0200
Subject: [PATCH] * src/graph/graph.hh (transitions): New method.

---
 src/graph/graph.hh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/graph/graph.hh b/src/graph/graph.hh
index 9182c4ee1..2cdd6d827 100644
--- a/src/graph/graph.hh
+++ b/src/graph/graph.hh
@@ -588,6 +588,16 @@ namespace spot
       return states_;
     }
 
+    const trans_vector& transitions() const
+    {
+      return transitions_;
+    }
+
+    trans_vector& transitions()
+    {
+      return transitions_;
+    }
+
     void defrag()
     {
       if (killed_trans_ == 0)	// Nothing to do.