diff options
Diffstat (limited to 'src/Partitioning.h')
| -rw-r--r-- | src/Partitioning.h | 7 | 
1 files changed, 7 insertions, 0 deletions
| diff --git a/src/Partitioning.h b/src/Partitioning.h index 2c82cfac9..726b7fcdb 100644 --- a/src/Partitioning.h +++ b/src/Partitioning.h @@ -22,6 +22,9 @@ public:  		SetGrowSize(growSize_);  		ReAllocate(growSize_);  	} +	// Deleted so SplitVectorWithRangeAdd objects can not be copied. +	SplitVectorWithRangeAdd(const SplitVectorWithRangeAdd &) = delete; +	void operator=(const SplitVectorWithRangeAdd &) = delete;  	~SplitVectorWithRangeAdd() {  	}  	void RangeAddDelta(int start, int end, int delta) { @@ -92,6 +95,10 @@ public:  		Allocate(growSize);  	} +	// Deleted so Partitioning objects can not be copied. +	Partitioning(const Partitioning &) = delete; +	void operator=(const Partitioning &) = delete; +  	~Partitioning() {  		delete body;  		body = 0; | 
