Commit c44b1587 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

org: declare utf8 everwhere and fix some typos

* doc/org/autfilt.org, doc/org/csv.org, doc/org/dstar2tgba.org,
doc/org/genltl.org, doc/org/ioltl.org, doc/org/ltl2tgba.org,
doc/org/ltlfilt.org, doc/org/ltlgrind.org, doc/org/oaut.org,
doc/org/randaut.org, doc/org/tools.org: Update.
parent 25af8e7e
# -*- coding: utf-8 -*-
#+TITLE: =autfilt=
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......
# -*- coding: utf-8 -*-
#+TITLE: Reading and writing CSV files
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......
# -*- coding: utf-8 -*-
#+TITLE: =dstar2tgba=
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......
# -*- coding: utf-8 -*-
#+TITLE: =genltl=
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......
# -*- coding: utf-8 -*-
#+TITLE: Common input and output options for LTL/PSL formulas
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......
# -*- coding: utf-8 -*-
#+TITLE: =ltl2tgba=
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......
# -*- coding: utf-8 -*-
#+TITLE: =ltlfilt=
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......
# -*- coding: utf-8 -*-
#+TITLE: =ltlgrind=
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......
# -*- coding: utf-8 -*-
#+TITLE: Common output options for automata
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......@@ -110,7 +111,7 @@ State: 4
--END--
#+end_example
The above output contains to automata, named after the formulas they
The above output contains two automata, named after the formulas they
represent. Here is a picture of these two automata:
#+NAME: hoafex
......@@ -776,10 +777,10 @@ autfilt --states=3 --stats=%M -n5
: !b & X(!b U a)
Note that the above result can also be obtained without using
=autfilt= and automata name. We can use the fact that =ltl2tgba
=autfilt= and automata names. We can use the fact that =ltl2tgba
--stats= can output the automaton size, and that =ltl2tgba= is also
capable of [[file:csv.org][reading from a CSV file]] (=-F-/2= instructs =ltl2tgba= to
read the standard input as if it was a CSV file, and process its
read the standard input as if it was a CSV file, and to process its
second column):
#+BEGIN_SRC sh :results verbatim :exports both
......
# -*- coding: utf-8 -*-
#+TITLE: =randaut=
#+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html
......
# -*- coding: utf-8 -*-
#+TITLE: Command-line tools installed by Spot 1.99
#+SETUPFILE: setup.org
......
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