Workspace_not_equal()

Called by the generic function x != y when x and y are of type Workspace.

WORKSPACE_NOT_EQUAL() w1=Workspace w2=Workspace w1 != w2

Workspace_not_equal

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