Package | Description |
---|---|
casa.actions.rf3 |
Modifier and Type | Field and Description |
---|---|
private Collection<PostCondition> |
AbstractAction.post
The set of postconditions for this Action
|
Modifier and Type | Method and Description |
---|---|
Collection<PostCondition> |
Action.getPostConditions() |
Collection<PostCondition> |
AbstractAction.getPostConditions() |
Modifier and Type | Method and Description |
---|---|
void |
Action.addPostCondition(PostCondition theCondition)
Adds the Condition to this Acitons's set of postconditions.
|
void |
AbstractAction.addPostCondition(PostCondition theCondition) |
void |
Action.removePostCondition(PostCondition theCondition)
Removes the Condition from this action, if it in the set of preconditions.
|
void |
AbstractAction.removePostCondition(PostCondition theCondition) |
Modifier and Type | Method and Description |
---|---|
void |
Action.addPostConditions(Collection<PostCondition> theConditions)
Adds Conditions to this Action's set of postconditions.
|
void |
AbstractAction.addPostConditions(Collection<PostCondition> theConditions) |