public static class GraphDefinedDomain.GraphActionType.GraphAction extends java.lang.Object implements Action
Modifier and Type | Field and Description |
---|---|
int |
aId |
Constructor and Description |
---|
GraphAction() |
GraphAction(int aId) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
actionName()
Returns the action name for this grounded action.
|
Action |
copy()
Returns a copy of this grounded action.
|
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
java.lang.String |
toString() |
public java.lang.String actionName()
Action
actionName
in interface Action
public Action copy()
Action
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object