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

org: call set_init_state() in tut22

Browse source 
* doc/org/tut22.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2016-12-25 12:14:17 +01:00
parent 34ac6f08cc
commit dcd21aaabf
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
doc/org/tut22.org
View file

@ -36,6 +36,9 @@ This example demonstrates how to create an automaton and then print it.
// States are numbered from 0.
aut->new_states(3);
// The default initial state is 0, but it is always better to
// specify it explicitely.
aut->set_init_state(0U);
// new_edge() takes 3 mandatory parameters: source state,
// destination state, and label. A last optional parameter can be
@ -95,6 +98,9 @@ State: 2
# States are numbered from 0.
aut.new_states(3)
# The default initial state is 0, but it is always better to
# specify it explicitely.
aut.set_init_state(0)
# new_edge() takes 3 mandatory parameters: source state, destination state, and
# label. A last optional parameter can be used to specify membership to