andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Noted some stuff about graph computations, so that I won't forget

Browse Source 
this.
This commit is contained in:
ccremers 2004-10-12 18:08:01 +00:00
parent 487212a9f9
commit 40584ba6bd
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/todo.txt
View File

@ -1,3 +1,6 @@
- Consider where in Arachne dependency graph is used. If this is only for
pruning states, we can construct it there only. However, the base 'role
defs/bindings' graph might be re-used.
- Problem with goal bindings: instantiation of variable with a tuple might - Problem with goal bindings: instantiation of variable with a tuple might
introduce a tuple goal, which is forbidden. We must find a way to deal with this. introduce a tuple goal, which is forbidden. We must find a way to deal with this.
- For secrecy, one trusted agent and one untrusted agent suffices. - For secrecy, one trusted agent and one untrusted agent suffices.