Searched refs:headRdr (Results 1 – 1 of 1) sorted by relevance
2088 LispListReader headRdr(head); in parseRankedFunctionApplication() local2090 headRdr.acceptAtom(UNDERSCORE); in parseRankedFunctionApplication()2092 if(headRdr.tryAcceptAtom("divisible")){ in parseRankedFunctionApplication()2094 const vstring& numeral = headRdr.readAtom(); in parseRankedFunctionApplication()2116 else if(headRdr.tryAcceptAtom("is")){ in parseRankedFunctionApplication()2118 const vstring& consName = headRdr.readAtom(); in parseRankedFunctionApplication()2152 USER_ERROR("Ranked function application "+headRdr.readAtom()+" not known"); in parseRankedFunctionApplication()