public interface RenameAction extends Action1
Action1, the grammar does not accept on-the-fly renaming
of parameterised actions ex: (x: \nat @ c!x -> Stop)[c := b]. This is a design decision for uniformity purposes.| Modifier and Type | Method and Description |
|---|---|
AssignmentPairs |
getAssignmentPairs()
Returns the AssignmentPairs element.
|
void |
setAssignmentPairs(AssignmentPairs assignmentPairs)
Sets the AssignmentPairs element.
|
getCircusAction, setCircusActionAssignmentPairs getAssignmentPairs()
void setAssignmentPairs(AssignmentPairs assignmentPairs)
assignmentPairs - the AssignmentPairs element.getAssignmentPairs()Copyright © 2003–2016 Community Z Tools Project. All rights reserved.