2019-08-21 21:57 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000192mercuryBugpublic2011-03-23 06:17
Reportercolanderman 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusnewResolutionopen 
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

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

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