Example #1
0
 void append_lastpos (node_vector &lastpos_) const
 {
     lastpos_.insert (lastpos_.end (),
                      _lastpos.begin (), _lastpos.end ());
 }
Example #2
0
 void append_firstpos (node_vector &firstpos_) const
 {
     firstpos_.insert (firstpos_.end (),
                       _firstpos.begin (), _firstpos.end ());
 }