Emile Guillaume
authored
Add neigh type (struct composed of state, reply and weight), add 3 new function for neigh type, add state.lus generation by salut, modificate unison,bfs-spanning-tree and rsp-tree (compare and kind2 work\!), add demon_is_valid function, a new constant (liste of neighbors number), modificate algo for the new to_state function
Name | Last commit | Last update |
---|---|---|
.. | ||
Makefile | ||
dot2lus.ml | ||
dune |