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

* doc/org/tut03.org: Typos.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2023-02-23 12:02:06 +01:00
parent d3013b072d
commit a146457ea1
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
doc/org/tut03.org
View file

@ -81,7 +81,7 @@ simplifications called /trivial identities/. For instance
=formula::F(formula::X(formula::tt()))= will return the same formula
as =formula::tt()=. These simplifications are those that involve the
true and false constants, impotence (=F(F(e))=F(e)=), involutions
(=Not(Not(e)=e=), associativity
(=Not(Not(e))=e=), associativity
(=And({And({e1,e2},e3})=And({e1,e2,e3})=). See [[https://spot.lrde.epita.fr/tl.pdf][tl.pdf]] for a list of
these /trivial identities/.
@ -113,7 +113,7 @@ detail of the top-level operator in the formula.
std::cout << f << '\n';
// kindstar() prints the name of the operator
// kindstr() prints the name of the operator
// size() return the number of operands of the operators
std::cout << f.kindstr() << ", " << f.size() << " children\n";
// operator[] accesses each operand
@ -157,7 +157,7 @@ The Python equivalent is similar:
print(f)
# kindstar() prints the name of the operator
# kindstr() prints the name of the operator
# size() return the number of operands of the operators
print("{}, {} children".format(f.kindstr(), f.size()))
# [] accesses each operand