mirror of
https://github.com/jezhiggins/arabica
synced 2024-11-17 07:48:50 +01:00
added push_back(NodeSet)
This commit is contained in:
parent
9b70ca5187
commit
b494ffe317
1 changed files with 5 additions and 0 deletions
|
@ -243,6 +243,11 @@ public:
|
|||
sorted_ = false;
|
||||
} // push_back
|
||||
|
||||
void push_back(const NodeSet<string_type, string_adaptor>& nodeSet)
|
||||
{
|
||||
insert(end(), nodeSet.begin(), nodeSet.end());
|
||||
} // push_back
|
||||
|
||||
bool forward() const { return sorted_ && forward_; }
|
||||
bool reverse() const { return sorted_ && !forward_; }
|
||||
void forward(bool forward)
|
||||
|
|
Loading…
Reference in a new issue