Searched defs:loadFromIterator (Results 1 – 2 of 2) sorted by relevance
| /dports/math/vampire/vampire-4.5.1/Lib/ | ||
| H A D | DHSet.hpp | 135 void loadFromIterator(It it) { in loadFromIterator() function in Lib::DHSet |
| H A D | Stack.hpp | 168 void loadFromIterator(It it) { in loadFromIterator() function in Lib::Stack |