Searched defs:peekAtNext (Results 1 – 2 of 2) sorted by relevance
| /dports/math/vampire/vampire-4.5.1/Shell/ | ||
| H A D | LispParser.cpp | 359 LExpr* LispListReader::peekAtNext() in peekAtNext() function in Shell::LispListReader |
| /dports/math/vampire/vampire-4.5.1/Lib/ | ||
| H A D | List.hpp | 517 inline C peekAtNext() in peekAtNext() function in Lib::List::Iterator |