projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c4a23b) | patch
Add a utility function Boolean.iter that iterates a function over a formula.
authorKim Nguyễn <kn@lri.fr>
Wed, 20 Nov 2013 21:46:24 +0000 (22:46 +0100)
committerKim Nguyễn <kn@lri.fr>
Fri, 22 Nov 2013 14:32:31 +0000 (15:32 +0100)
commitf3d9a505aa793e7db4f9528fca98e9b37b0511b0
tree3d76d97ff6703252b2ffa5ae53e8836ed3eda9f8tree | snapshot
parent8c4a23b0bb5883174e225e16d0ac9e5fe2c13032commit | diff
Add a utility function Boolean.iter that iterates a function over a formula.
src/boolean.ml diff | blob | history
src/boolean.mli diff | blob | history
Tree Automata TOOlkit