projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3d9a50) | patch
Put the move type of automata in a Move module and add auxiliary function to create...
authorKim Nguyễn <kn@lri.fr>
Wed, 20 Nov 2013 21:50:56 +0000 (22:50 +0100)
committerKim Nguyễn <kn@lri.fr>
Fri, 22 Nov 2013 14:32:31 +0000 (15:32 +0100)
commitc36250a4de897883d0080fc369d784abf0e2ebe8
tree040479edbb8536c098a7d2f2eed7432542099d62tree | snapshot
parentf3d9a505aa793e7db4f9528fca98e9b37b0511b0commit | diff
Put the move type of automata in a Move module and add auxiliary function to create and maintain tables indexed by moves. Use it to return the states of a forumla by move.
src/ata.ml diff | blob | history
src/ata.mli diff | blob | history
Tree Automata TOOlkit