本文整理汇总了C++中Formula::addClause方法的典型用法代码示例。如果您正苦于以下问题：C++ Formula::addClause方法的具体用法？C++ Formula::addClause怎么用？C++ Formula::addClause使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Formula的用法示例。
在下文中一共展示了Formula::addClause方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: fscanf
Formula *Parser::parse(FILE *file) {
int nClauses, nVars;
fscanf(file, "p cnf %d %d", &nVars, &nClauses);
Formula *formula = new Formula(nVars);
for (int i = 0; i < nClauses; i ++) {
Clause *clause = new Clause();
formula->addClause(clause);
// Get next literal.
while (1) {
int literal;
int nScanned = fscanf(file, "%d", &literal);
if (nScanned == 0 || literal == 0) break;
clause->addLiteral(abs(literal) - 1, literal > 0);
}
}
return formula;
}