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 graph_t;