| 1112 | } |
| 1113 | |
| 1114 | Probabilities::~Probabilities() |
| 1115 | { |
| 1116 | std::map<ProbName, ProbElem*>::iterator i; |
| 1117 | for (i = probabilities_.begin(); i != probabilities_.end(); ++i) { |
| 1118 | ProbElem *elem = (*i).second; |
| 1119 | assert(elem); |
| 1120 | delete elem; |
| 1121 | } |
| 1122 | probabilities_.clear(); |
| 1123 | clear_filter(prob_filters_); |
| 1124 | clear_filter(extra_filters_); |
| 1125 | } |
| 1126 | |
| 1127 | void DistributionTable::add_entry(int key, int prob) |
| 1128 | { |