本文整理汇总了C++中expr::is_bool方法的典型用法代码示例。如果您正苦于以下问题：C++ expr::is_bool方法的具体用法？C++ expr::is_bool怎么用？C++ expr::is_bool使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类expr的用法示例。
在下文中一共展示了expr::is_bool方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: process
void process(expr e)
{
if (e.num_args() > 0)
{
for (int i = 0; i < e.num_args(); i++)
process(e.arg(i));
return;
}
if (e.kind() != Z3_APP_AST) return; //not a variable
VARIBLE_VALUE vv;
func_decl def = e.decl();
vv.name = def.name().str();
if (e.is_bool()) // bool
{
if (vv.name == "false" || vv.name == "true") return;
vv.type = "bool";
vv.size = 1;
vv.value = "false";
}
else if (e.is_bv()) //bitvector
{
sort s = def.range();
vv.type = "bitvector";
vv.size = s.bv_size();
vv.value = "0";
}
else // we do not handle other sorts
{
std::cout << "we just handle bool or bitvector.\n";
exit(0);
}
defaultSolution.insert(std::make_pair(def.name().str(), vv));
}