本文整理汇总了C++中Statistic::getValue方法的典型用法代码示例。如果您正苦于以下问题：C++ Statistic::getValue方法的具体用法？C++ Statistic::getValue怎么用？C++ Statistic::getValue使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Statistic的用法示例。
在下文中一共展示了Statistic::getValue方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: startQuery
void QueryLoggingSolver::startQuery(const Query& query, const char* typeName,
const Query* falseQuery,
const std::vector<const Array*> *objects) {
Statistic *S = theStatisticManager->getStatisticByName("Instructions");
uint64_t instructions = S ? S->getValue() : 0;
logBuffer << queryCommentSign << " Query " << queryCount++ << " -- "
<< "Type: " << typeName << ", "
<< "Instructions: " << instructions << "\n";
printQuery(query, falseQuery, objects);
startTime = getWallTime();
}示例2: startQuery
void startQuery(const Query& query, const char *typeName,
const ref<Expr> *evalExprsBegin = 0,
const ref<Expr> *evalExprsEnd = 0,
const Array * const* evalArraysBegin = 0,
const Array * const* evalArraysEnd = 0) {
Statistic *S = theStatisticManager->getStatisticByName("Instructions");
uint64_t instructions = S ? S->getValue() : 0;
os << "# Query " << queryCount++ << " -- "
<< "Type: " << typeName << ", "
<< "Instructions: " << instructions << "\n";
printer->printQuery(os, query.constraints, query.expr,
evalExprsBegin, evalExprsEnd,
evalArraysBegin, evalArraysEnd);
startTime = getWallTime();
}示例3: startQuery
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();
}