Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.cpp980 LispListReader constrRdr(constr); in readDeclareDatatypes() local
981 constrName = constrRdr.readAtom(); in readDeclareDatatypes()
983 while (constrRdr.hasNext()) { in readDeclareDatatypes()
984 LExpr *arg = constrRdr.next(); in readDeclareDatatypes()