| Issue 46: | Allow 'this' to be used in state invariants | |
| 1 person starred this issue and may be notified of changes. | Back to list |
In order to do the Blocking_queue example I need to be able to store an implication for a permission to 'this.' (Currently, doing this throws a null pointer exception.)
Sep 30, 2008
Project Member
#1
nels.bec...@gmail.com
Status:
Fixed
|