Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB.hpp253 bool tryReadQuantifier(bool univ, LExpr* e, Formula*& res);
H A DSMTLIB.cpp1016 bool SMTLIB::tryReadQuantifier(bool univ, LExpr* e, Formula*& res) in tryReadQuantifier() function in Parse::SMTLIB
1249 return tryReadQuantifier(fsym==FS_FORALL, e, res); in tryReadFormula()