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

* doc/org/tut10.org: Use the same formula in C++ as in Python and sh.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2022-08-05 18:55:44 +02:00
parent 8b93b6967d
commit b0165cf39c
1 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

16
doc/org/tut10.org
View file

@ -139,7 +139,7 @@ automaton. Finally, the output as a never claim is done via the
int main() int main()
{ {
spot::parsed_formula pf = spot::parse_infix_psl("[]<>a || <>[]b"); spot::parsed_formula pf = spot::parse_infix_psl("GFa -> GFb");
if (pf.format_errors(std::cerr)) if (pf.format_errors(std::cerr))
return 1; return 1;
spot::translator trans; spot::translator trans;
@ -158,22 +158,22 @@ never {
T0_init: T0_init:
if if
:: (true) -> goto T0_init :: (true) -> goto T0_init
:: (a) -> goto accept_S1 :: (b) -> goto accept_S1
:: (b) -> goto accept_S2 :: (!(a)) -> goto accept_S2
fi; fi;
accept_S1: accept_S1:
if if
:: (a) -> goto accept_S1 :: (b) -> goto accept_S1
:: (!(a)) -> goto T0_S3 :: (!(b)) -> goto T0_S3
fi; fi;
accept_S2: accept_S2:
if if
:: (b) -> goto accept_S2 :: (!(a)) -> goto accept_S2
fi; fi;
T0_S3: T0_S3:
if if
:: (a) -> goto accept_S1 :: (b) -> goto accept_S1
:: (!(a)) -> goto T0_S3 :: (!(b)) -> goto T0_S3
fi; fi;
} }