michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(util/list): add is_suffix_eqp

Browse source
This commit is contained in:
Leonardo de Moura 2015-12-05 16:52:18 -08:00
parent 3b40b09a36
commit 96b37241bd
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/util/list.h
View file

@ -100,6 +100,17 @@ public:
friend bool is_eqp(list const & l1, list const & l2) { return l1.m_ptr == l2.m_ptr; }
friend bool is_eqp(list const & l1, cell const * l2) { return l1.m_ptr == l2; }
/** \brief Return true iff l_2 is of the form [a_1, ..., a_n, l_1] for n >= 0 */
friend bool is_suffix_eqp(list const & l_1, list const & l_2) {
list const * it = &l_2;
while (!empty(*it)) {
if (is_eqp(*it, l_1))
return true;
it = &tail(*it);
}
return is_eqp(*it, l_1);
}
template<typename... Args>
void emplace_front(Args&&... args) {
cell * new_ptr = new (get_allocator().allocate()) cell(true, *this, args...);