8 #ifndef __DIADES__UTILS__STREAMTOOLS__HH__ 9 #define __DIADES__UTILS__STREAMTOOLS__HH__ 13 #include<unordered_set> 25 template<
typename CharT>
28 const std::unordered_set<CharT> & characters, CharT &
next) {
30 while (!result && (is >> next)) {
31 result = characters.find(next) == characters.end();
Namespace of the Diades project.
bool readChars(std::basic_istream< CharT > &is, const std::unordered_set< CharT > &characters, CharT &next)