projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35c32fb) | patch
Extend the interface with a fold function (over the structure
authorKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 10:19:21 +0000 (11:19 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 10:19:21 +0000 (11:19 +0100)
commitc711ac43406b5d9bcb4856b0cb68789f48f461e7
treeaa519b5f908b31fb116aeb3ba0b1c6e4e573b97dtree | snapshot
parent35c32fbd2543a399cc6939f21317bebf37172646commit | diff
Extend the interface with a fold function (over the structure
of the formula).
src/auto/formula.ml diff | blob | history
src/auto/formula.mli diff | blob | history
Tree Automata TOOlkit