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

typo

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2003-06-24 13:59:52 +00:00
parent 0ae1a32a70
commit 2558e823a0
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
ChangeLog
View file

@ -9,11 +9,11 @@
2003-06-23 Alexandre Duret-Lutz <aduret@src.lip6.fr> 2003-06-23 Alexandre Duret-Lutz <aduret@src.lip6.fr>
Switch from "promises" to "accepting set". Fix the definitions Switch from "promises" to "accepting sets". Fix the definitions
of these accepting set so that they are really usable. Provide of these accepting sets so that they are really useful. Provide
a all_accepting_conditions() method for use in the emptyness an all_accepting_conditions() method for use in the emptyness
check, and a neg_accepting_conditions() for products. check, and a neg_accepting_conditions() for products. Predeclare
Predeclare TGBA accepting conditions is the i/o. TGBA accepting conditions in the i/o.
* src/tgba/bddprint.cc (want_prom): Rename as ... * src/tgba/bddprint.cc (want_prom): Rename as ...
(want_prom): ... this. (want_prom): ... this.