本文整理汇总了C++中box::assign_to_enode方法的典型用法代码示例。如果您正苦于以下问题:C++ box::assign_to_enode方法的具体用法?C++ box::assign_to_enode怎么用?C++ box::assign_to_enode使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类box
的用法示例。
在下文中一共展示了box::assign_to_enode方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: handle_sat_case
void nra_solver::handle_sat_case(box const & b) const {
// SAT
DREAL_LOG_FATAL << "Solution:";
DREAL_LOG_FATAL << b;
// --proof option
if (config.nra_proof) {
config.nra_proof_out.close();
config.nra_proof_out.open(config.nra_proof_out_name.c_str(), std::ofstream::out | std::ofstream::trunc);
display(config.nra_proof_out, b, !config.nra_readable_proof, true);
}
// --model option
if (config.nra_model) {
config.nra_model_out.open(config.nra_model_out_name.c_str(), std::ofstream::out | std::ofstream::trunc);
if (config.nra_model_out.fail()) {
cout << "Cannot create a file: " << config.nra_model_out_name << endl;
exit(1);
}
display(config.nra_model_out, b, false, true);
}
#ifdef SUPPORT_ODE
// --visualize option
if (config.nra_json) {
json traces = {};
// Need to run ODE pruning operator once again to generate a trace
for (constraint * const ctr : m_stack) {
if (ctr->get_type() == constraint_type::ODE) {
contractor_capd_fwd_full fwd_full(b, dynamic_cast<ode_constraint *>(ctr), config.nra_ODE_taylor_order, config.nra_ODE_grid_size);
json trace = fwd_full.generate_trace(b, config);
traces.push_back(trace);
}
}
json vis_json;
vis_json["traces"] = traces;
config.nra_json_out << vis_json.dump() << endl;;
}
#endif
// For API call
b.assign_to_enode();
return;
}