projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a127b8) | patch
Sanitize the representation of formula
authorKim Nguyễn <kn@lri.fr>
Wed, 17 Jul 2013 15:59:01 +0000 (17:59 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 17 Jul 2013 16:21:25 +0000 (18:21 +0200)
commit90ce5857f6cad2ebc753fdbc8e37882a1ff47415
tree7463c3042d201b56a9700b86a2f4b848d5915e8ftree | snapshot
parent9a127b83fbb1171ebd36e6f42780093412a5e91acommit | diff
Sanitize the representation of formula
- rename the toplevel Formula module to Boolean
- rename Ata.SFormula to Formula
- move the flag saying whether an atom is positive or negative
  to Boolean
- distinguish predicates that are moves from generic predicates.
src/ata.ml diff | blob | history
src/ata.mli diff | blob | history
src/boolean.ml [new file with mode: 0644] blob
src/boolean.mli [new file with mode: 0644] blob
src/formula.ml [deleted file] blob | history
src/formula.mli [deleted file] blob | history
src/xpath/compile.ml diff | blob | history
Tree Automata TOOlkit