Called by the generic function x != y when x and y are of type Workspace.
WORKSPACE_NOT_EQUAL() | w1=Workspace w2=Workspace | w1 != w2 |
The default procedure definition and the calculation of errors for this procedure is shown below.
PROCEDURE workspace_not_equal; PARAMETERS w1=workspace w2=workspace; RESULT wres wres = ( w1.x != w2.x ) OR ( w1.y != w2.y ) ENDPROCEDURE