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 Transitions
ListOfFunctionTerms and returns the FunctionTerm object created. |
FunctionTerm |
ListOfFunctionTerms.get(long n)
Get a
FunctionTerm from the ListOfFunctionTerms . |
FunctionTerm |
ListOfFunctionTerms.get(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(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(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(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 . |