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

feat(util/list_fn): add remove function

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-06-26 09:03:04 -07:00
parent da6e92787a
commit ab2bbaef3f
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/util/list_fn.h
View file

@ -176,6 +176,12 @@ list<T> filter(list<T> const & l, P && p) {
} }
} }
/** \brief Remove all occurrences of \c a from \c l */
template<typename T>
list<T> remove(list<T> const & l, T const & a) {
return filter(l, [&](T const & v) { return a != v; });
}
/** \brief Remove the last element that satisfies \c p. */ /** \brief Remove the last element that satisfies \c p. */
template<typename T, typename P> template<typename T, typename P>
list<T> remove_last(list<T> const & l, P && p) { list<T> remove_last(list<T> const & l, P && p) {