Searched refs:resFrm (Results 1 – 2 of 2) sorted by relevance
310 bool asFormula(Formula*& resFrm);
1063 bool SMTLIB2::ParseResult::asFormula(Formula*& resFrm) in asFormula() argument1069 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()