Alessandro Ferro 04acfaf125 Library 1
Lib. 1: bugfix
Lib. 2: added container from Lib. 1
2021-04-11 11:01:37 +02:00

19 lines
369 B
C++

namespace lasd {
template <typename Data>
void AuxFoldExists(const Data& dat, const void* val, void* exists){
if(dat == *((Data*)val)){
*((bool*)exists) = true;
}
}
template <typename Data>
bool FoldableContainer<Data>::Exists(const Data& dat) const noexcept{
bool exists = false;
FoldPreOrder(&AuxFoldExists<Data>, &dat, &exists);
return exists;
}
}