From 8868a50864c225b39812a0910fc9b1116dc46682 Mon Sep 17 00:00:00 2001 From: dehnert Date: Wed, 8 Apr 2015 23:11:06 +0200 Subject: [PATCH] Removed superfluous code. Former-commit-id: 06c2309d3c26d850acb45c55511dcc024ff14119 --- src/storage/BitVector.h | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/src/storage/BitVector.h b/src/storage/BitVector.h index 5072d71cf..ec4cce693 100644 --- a/src/storage/BitVector.h +++ b/src/storage/BitVector.h @@ -277,27 +277,6 @@ namespace storm { */ BitVector operator%(BitVector const& filter) const; -// /*! -// * Computes a bit vector that is as long as the number of set bits in the given filter that has bit i is set -// * iff the i-th set bit of the current bit vector is set in the filter. Note: this functionality is exactly -// * the same as operator%. -// * -// * @param filter A reference the bit vector to use as the filter. -// * @return A bit vector that is as long as the number of set bits in the given filter that has bit i is set -// * iff the i-th set bit of the current bit vector is set in the filter. -// */ -// BitVector operator<<(BitVector const& filter) const; -// -// /*! -// * Computes a bit vector that is as long as the number of set bits in the given filter that has bit i is set -// * iff the i-th set bit of the current bit vector is set in the filter. -// * -// * @param filter A reference the bit vector to use as the filter. -// * @return A bit vector that is as long as the number of set bits in the given filter that has bit i is set -// * iff the i-th set bit of the current bit vector is set in the filter. -// */ -// BitVector operator>>(BitVector const& filter) const; - /*! * Performs a logical "not" on the bit vector. *