/** Returns true if vector contains no 1. */
bool isempty() const {
- strip_heap();
- return isheap ? heapsize==0 : array.size()==0;
+ if (isheap) {
+ strip_heap();
+ return heapsize == 0;
+ } else
+ return array.size() == 0;
}
/** Print this vector */