From a14f63dd25fd709b6ec9cb79372725f7c9c544f6 Mon Sep 17 00:00:00 2001
From: Antoine Martin <antoine97.martin@gmail.com>
Date: Wed, 19 Feb 2020 23:00:44 +0100
Subject: [PATCH] twacube: add num_states and num_edges

* spot/twacube/twacube.hh: Here.
---
 spot/twacube/twacube.hh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/spot/twacube/twacube.hh b/spot/twacube/twacube.hh
index 2a9a3885b..e0978a255 100644
--- a/spot/twacube/twacube.hh
+++ b/spot/twacube/twacube.hh
@@ -167,6 +167,15 @@ namespace spot
     /// in memory. This is mandatory for swarming techniques.
     bool succ_contiguous() const;
 
+    unsigned num_states() const
+    {
+      return theg_.num_states();
+    }
+
+    unsigned num_edges() const
+    {
+      return theg_.num_edges();
+    }
 
     typedef digraph<cstate, transition> graph_t;