Commit b1ee6c87 authored by Antoine Martin's avatar Antoine Martin

twacube: add num_states and num_edges

* spot/twacube/twacube.hh: Here.
parent 421610ba
......@@ -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