Commit f9ec6b76 authored by Antoine Martin's avatar Antoine Martin Committed by Etienne Renault
Browse files

twacube: add num_states and num_edges

* spot/twacube/twacube.hh: Here.
parent 1077bcb1
......@@ -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;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment