sysModel.env
Class UnboundedEnv.LocalEnvironment.MoveLambda

java.lang.Object
  sysModel.env.UnboundedEnv.LocalEnvironment.MoveLambda

All Implemented Interfaces:

ILambda

Enclosing class:

UnboundedEnv.LocalEnvironment

protected class UnboundedEnv.LocalEnvironment.MoveLambda
extends java.lang.Object
implements ILambda

Lambda to execute a move.

Field Summary

protected ASquareEnv.Direction	_newDir
protected ASquareEnv.Location	_newLoc

Constructor Summary

UnboundedEnv.LocalEnvironment.MoveLambda(UnboundedEnv.LocalEnvironment le)
Constructor.

Method Summary

java.lang.Object

apply(java.lang.Object param) Execute the move.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_newDir

protected ASquareEnv.Direction _newDir

_newLoc

protected ASquareEnv.Location _newLoc

Constructor Detail

UnboundedEnv.LocalEnvironment.MoveLambda

public UnboundedEnv.LocalEnvironment.MoveLambda(UnboundedEnv.LocalEnvironment le)

Constructor.

Parameters:

le - target local environment

Method Detail

apply

public java.lang.Object apply(java.lang.Object param)

Execute the move.

Specified by:

apply in interface ILambda

Parameters:

param - not used

Returns:

null