| Modifier and Type | Method and Description |
|---|---|
FunctionTerm |
FunctionTerm.cloneObject()
Creates and returns a deep copy of this
FunctionTerm object. |
FunctionTerm |
Transition.createFunctionTerm()
Creates a new
FunctionTerm object, adds it to this Transition's
ListOfFunctionTerms and returns the FunctionTerm object created. |
FunctionTerm |
ListOfFunctionTerms.get(long n)
Get a
FunctionTerm from the ListOfFunctionTerms. |
FunctionTerm |
ListOfFunctionTerms.get(java.lang.String sid)
Get a
FunctionTerm from the ListOfFunctionTerms
based on its identifier. |
FunctionTerm |
Transition.getFunctionTerm(long n)
Get a
FunctionTerm from the ListOfFunctionTerms. |
FunctionTerm |
Transition.getFunctionTerm(java.lang.String sid)
Get a
FunctionTerm from the ListOfFunctionTerms
based on its identifier. |
FunctionTerm |
ListOfFunctionTerms.remove(long n)
Removes the nth
FunctionTerm from this ListOfFunctionTerms
and returns a pointer to it. |
FunctionTerm |
ListOfFunctionTerms.remove(java.lang.String sid)
Removes the
FunctionTerm from this ListOfFunctionTerms with the given identifier
and returns a pointer to it. |
FunctionTerm |
Transition.removeFunctionTerm(long n)
|
FunctionTerm |
Transition.removeFunctionTerm(java.lang.String sid)
Removes the
FunctionTerm with the given identifier from the ListOfFunctionTerms within this Transition
and returns a pointer to it. |
| Modifier and Type | Method and Description |
|---|---|
int |
Transition.addFunctionTerm(FunctionTerm ft)
Adds a copy the given
FunctionTerm to this Transition. |
| Constructor and Description |
|---|
FunctionTerm(FunctionTerm orig)
Copy constructor for
FunctionTerm. |