Home
last modified time | relevance | path

Searched refs:lRdr (Results 1 – 1 of 1) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.cpp1267 LispListReader lRdr(exp->list); in parseLetBegin() local
1277 if (!lRdr.hasNext()) { in parseLetBegin()
1280 LExpr* body = lRdr.readNext(); in parseLetBegin()
1283 lRdr.acceptEOL(); in parseLetBegin()
1317 LispListReader lRdr(exp->list); in parseLetPrepareLookup() local
1367 LispListReader lRdr(exp->list); in parseLetEnd() local
1418 LispListReader lRdr(exp->list); in parseQuantBegin() local
1447 lRdr.acceptEOL(); in parseQuantBegin()
1457 LispListReader lRdr(exp->list); in parseAnnotatedTerm() local
1465 toParse = lRdr.next(); in parseAnnotatedTerm()
[all …]