java.io.Serializablepublic class ParameterSubstitution
extends java.lang.Object
implements java.io.Serializable
| Constructor | Description |
|---|---|
ParameterSubstitution(int parameter_id) |
Creates the substitution.
|
| Modifier and Type | Method | Description |
|---|---|---|
boolean |
equals(java.lang.Object ob) |
Equality test.
|
int |
getID() |
Returns the number of this parameter id.
|
Copyright © 2018. All rights reserved.