2024-06-24 07:19 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000192mercuryBugpublic2011-03-23 06:17
Assigned To 
Product Version 
Target VersionFixed in Version 
Summary0000192: State variable record notation enhancement
DescriptionWith the coming changes to the library to better support state variable use, I believe that the following notation would be useful:

foo(..., !X ^ bar)

would be equivalent to:

foo(..., !.X ^ bar, X_bar), !X ^ bar := X_bar

Multiple uses of this notation within one predicate call should probably be disallowed.
TagsNo tags attached.
Attached Files


There are no notes attached to this issue.

-Issue History
Date Modified Username Field Change
2011-03-23 06:17 colanderman New Issue
+Issue History