Home
last modified time | relevance | path

Searched defs:knowsSize (Results 1 – 2 of 2) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Lib/
H A DVirtualIterator.hpp82 virtual bool knowsSize() const { return false; } in knowsSize() function in Lib::IteratorCore
121 bool knowsSize() const { return true; } in knowsSize() function in Lib::EmptyIterator
268 bool knowsSize() const in knowsSize() function in Lib::VirtualIterator
H A DMetaiterators.hpp107 inline bool knowsSize() { return true;} in knowsSize() function in Lib::ArrayishObjectIterator
214 inline bool knowsSize() const { return true; } in knowsSize() function in Lib::SingletonIterator
563 bool knowsSize() const { return _it1.knowsSize() && _it2.knowsSize(); } in knowsSize() function in Lib::CatIterator
616 inline bool knowsSize() const { return _inner.knowsSize(); } in knowsSize() function in Lib::MappingIterator
938 inline bool knowsSize() const { return true; } in knowsSize() function in Lib::UniquePersistentIterator
1056 inline bool knowsSize() const { return true; } in knowsSize() function in Lib::RangeIterator