Commit 3699e6cd authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

doc: simplify a C++ example

* doc/org/tut10.org: Remove a couple of useless includes.
parent bb23ea99
...@@ -128,17 +128,14 @@ various preferences (like small or deterministic) or characteristic ...@@ -128,17 +128,14 @@ various preferences (like small or deterministic) or characteristic
output as a never claim is done via the =print_never_claim= function. output as a never claim is done via the =print_never_claim= function.
#+BEGIN_SRC C++ :results verbatim :exports both #+BEGIN_SRC C++ :results verbatim :exports both
#include <string>
#include <iostream> #include <iostream>
#include <spot/tl/parse.hh> #include <spot/tl/parse.hh>
#include <spot/tl/print.hh>
#include <spot/twaalgos/translate.hh> #include <spot/twaalgos/translate.hh>
#include <spot/twaalgos/neverclaim.hh> #include <spot/twaalgos/neverclaim.hh>
int main() int main()
{ {
std::string input = "[]<>p0 || <>[]p1"; spot::parsed_formula pf = spot::parse_infix_psl("[]<>p0 || <>[]p1");
spot::parsed_formula pf = spot::parse_infix_psl(input);
if (pf.format_errors(std::cerr)) if (pf.format_errors(std::cerr))
return 1; return 1;
spot::translator trans; spot::translator trans;
......
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