}
}
-uint64_t Set::getMemberAt(uint index) {
- if (isRange) {
- return low + index;
- } else {
- return members->get(index);
- }
-}
-
Set::~Set() {
if (!isRange)
delete members;
}
void Set::print() {
- model_print("{Set<%p>:", this);
+ model_print("{Set(%lu)<%p>:", type, this);
if (isRange) {
model_print("Range: low=%lu, high=%lu}", low, high);
} else {