diff options
| author | jacopograndi <jak.sk8@hotmail.it> | 2021-09-05 23:00:42 +0200 |
|---|---|---|
| committer | jacopograndi <jak.sk8@hotmail.it> | 2021-09-05 23:00:42 +0200 |
| commit | 522a43d16e812e10ff69747ee916918b4bd29f2f (patch) | |
| tree | 3a9b9cb7a5d103252099d0eabb3c8d6ab8803550 /game/ground.h | |
| parent | 728abda9dc6fc8e65c7c0e0240a2e7d61a43a583 (diff) | |
invariant added as 'inv'
Diffstat (limited to 'game/ground.h')
| -rw-r--r-- | game/ground.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/game/ground.h b/game/ground.h index ab8f0e8..d1a4f34 100644 --- a/game/ground.h +++ b/game/ground.h @@ -16,13 +16,14 @@ class Resource { class Ground { public: - Ground (int sx, int sy); - ~Ground (); + Ground () {} int *tiles; std::vector<Resource> resources; + void build (int sx, int sy); + int sizex; int sizey; int at (int x, int y); |