alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

twacube: add num_states and num_edges

Browse source 
* spot/twacube/twacube.hh: Here.
This commit is contained in:
Antoine Martin 2020-02-19 23:00:44 +01:00 • committed by Etienne Renault
parent 49a3cf1148
commit a14f63dd25
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
spot/twacube/twacube.hh
View file

@ -167,6 +167,15 @@ namespace spot
/// in memory. This is mandatory for swarming techniques. /// in memory. This is mandatory for swarming techniques.
bool succ_contiguous() const; 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; typedef digraph<cstate, transition> graph_t;