BranchList() : separator_("|") {}
///
- bool empty() { return list.empty(); }
+ bool empty() const { return list.empty(); }
+ ///
+ void clear() { list.clear(); }
///
const_iterator begin() const { return list.begin(); }
const_iterator end() const { return list.end(); }