lifestate.dcl

DEFINITION MODULE lifestate;
IMPORT lifepoint;

ABSTYPE 
:: Lifestate;

TYPE
:: STEPNUM -> INT;
:: WIDTH -> INT;
:: HEIGHT -> INT;
:: TRACKMODE -> BOOL;
:: Lifestatus -> DYNAMIC | STABLE | DEAD;
:: PntRefKind -> RELATIVE | ABSOLUTE;

RULE
:: Emptystate !WIDTH !HEIGHT -> Lifestate;
:: Stepno !Lifestate -> STEPNUM;
:: Numcells !Lifestate -> INT;
:: Status !Lifestate -> Lifestatus;
:: Dead !Lifestate -> BOOL;
:: Stable !Lifestate -> BOOL;
:: Width !Lifestate -> WIDTH;
:: Height !Lifestate -> HEIGHT;
:: Allpoints !Lifestate -> PntList;
:: Croppedpoints !Lifestate -> PntList;
:: Picrect !Lifestate -> Rect;
:: Winrect !Lifestate -> Rect;
:: CentOfGrav !Lifestate -> Pnt;
:: ActualCent !Lifestate -> Pnt;
:: CentreAt !Pnt !Lifestate -> Lifestate;
:: GoCentre !Lifestate -> Lifestate;
:: Resize !WIDTH !HEIGHT !Lifestate -> Lifestate;
:: Loadpoint !PntList !Lifestate -> Lifestate;
:: Changepoint !PntRefKind !Pnt !Lifestate -> Lifestate;
:: Lifestep !Lifestate -> Lifestate;
:: Trackstep !TRACKMODE !Lifestate -> Lifestate;

UpBack to tutorial