void startQuery(const Query& query, const char *typeName, const std::vector<const Array*>* objects=NULL)
{
Statistic *S = theStatisticManager->getStatisticByName("Instructions");
uint64_t instructions = S ? S->getValue() : 0;
os << ";SMTLIBv2 Query " << queryCount++ << " -- "
<< "Type: " << typeName << ", "
<< "Instructions: " << instructions << "\n";
printer->setQuery(query);
if(objects!=NULL)
printer->setArrayValuesToGet(*objects);
printer->generateOutput();
os << "\n";
startTime = getWallTime();
}
virtual void printQuery(const Query& query,
const Query* falseQuery = 0,
const std::vector<const Array*>* objects = 0)
{
if (0 == falseQuery)
{
printer.setQuery(query);
}
else
{
printer.setQuery(*falseQuery);
}
if (0 != objects)
{
printer.setArrayValuesToGet(*objects);
}
printer.generateOutput();
}
