Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.hpp310 bool asFormula(Formula*& resFrm);
H A DSMTLIB2.cpp1063 bool SMTLIB2::ParseResult::asFormula(Formula*& resFrm) in asFormula() argument
1069 resFrm = frm; in asFormula()
1071 LOG2("asFormula formula ",resFrm->toString()); in asFormula()
1080 resFrm = t->getSpecialData()->getFormula(); in asFormula()
1092 resFrm = new BoolTermFormula(trm); in asFormula()