本文整理汇总了C++中Constraint::dump方法的典型用法代码示例。如果您正苦于以下问题:C++ Constraint::dump方法的具体用法?C++ Constraint::dump怎么用?C++ Constraint::dump使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Constraint
的用法示例。
在下文中一共展示了Constraint::dump方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: exportLP
void System::exportLP(io::Output& out) {
static CString texts[] = { "<", "<=", "=", ">=", ">" };
out << "/* IPET system */\n";
// Output the objective function
if(ofun->comparator() >= 0)
out << "max: ";
else
out << "min: ";
ofun->dump(out);
out << ";\n";
// Output the constraints
for(Constraint *cons = conss; cons; cons = cons->next()) {
cons->dump(out);
out << " " << texts[cons->comparator() + 2]
<< " " << (int)cons->constant() << ";";
const string& label = cons->label();
if(label)
out << "\t/* " << label << "*/";
out << io::endl;
}
// Output int constraints
for(genstruct::HashTable<ilp::Var *, Var *>::Iterator var(vars);
var; var++)
out << "int " << var->makeVarName() << ";\n";
}