public class Op
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
Op(java.lang.String name,
java.lang.Object... params)
Specifies an operation with any number of arguments
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName() |
java.lang.Object[] |
getParamValues() |
java.lang.String |
toString() |
>DEIS - University of Bologna