diff options
Diffstat (limited to 'src/Partitioning.h')
| -rw-r--r-- | src/Partitioning.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Partitioning.h b/src/Partitioning.h index 175eba7b5..752e69614 100644 --- a/src/Partitioning.h +++ b/src/Partitioning.h @@ -89,7 +89,7 @@ public: body = 0; } - int Partitions() { + int Partitions() const { return body->Length()-1; } @@ -141,7 +141,7 @@ public: body->Delete(partition); } - int PositionFromPartition(int partition) { + int PositionFromPartition(int partition) const { PLATFORM_ASSERT(partition >= 0); PLATFORM_ASSERT(partition < body->Length()); if ((partition < 0) || (partition >= body->Length())) { |