From beafcf4e3db200237fb4c06d15103efb8d214e1a Mon Sep 17 00:00:00 2001
From: Thibaud Michaud <michau_n@epita.fr>
Date: Wed, 29 Oct 2014 14:15:06 +0100
Subject: [PATCH] Adding trans_storage methods to tgbagraph.hh

* src/tgba/tgbagraph.hh: Adding trans_storage methods to access
the underlying trans_storage_t struct.
---
 src/tgba/tgbagraph.hh | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/src/tgba/tgbagraph.hh b/src/tgba/tgbagraph.hh
index 51126531c..c2be1f406 100644
--- a/src/tgba/tgbagraph.hh
+++ b/src/tgba/tgbagraph.hh
@@ -330,6 +330,31 @@ namespace spot
       return acc_.mark(0);
     }
 
+    graph_t::trans_storage_t& trans_storage(const tgba_succ_iterator* it)
+    {
+      auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it);
+      return g_.trans_storage(i->pos());
+    }
+
+    graph_t::trans_storage_t& trans_storage(unsigned t)
+    {
+      return g_.trans_storage(t);
+    }
+
+    const graph_t::trans_storage_t
+      trans_storage(const tgba_succ_iterator* it) const
+    {
+      auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it);
+      return g_.trans_storage(i->pos());
+    }
+
+    const graph_t::trans_storage_t trans_storage(unsigned t) const
+    {
+      return g_.trans_storage(t);
+    }
+
+    void set_acceptance_conditions(bdd all);
+
     unsigned new_state()
     {
       return g_.new_state();