本文整理汇总了C++中Formula::addClauses方法的典型用法代码示例。如果您正苦于以下问题：C++ Formula::addClauses方法的具体用法？C++ Formula::addClauses怎么用？C++ Formula::addClauses使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Formula的用法示例。
在下文中一共展示了Formula::addClauses方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: readFromFile
/**************************************************************************************************
* IO
* ***********************************************************************************************/
Formula IO::readFromFile(const std::string fileName){
Formula result;
uint numberVars;
std::fstream data;
data.open(fileName, std::ios::in);
if(!data.is_open()){
std::cout << "Could not open: " << fileName;
exit(1);
}
while(!data.eof()){
std::string line;
getline(data, line);
if(line.empty()) continue;
if(line[0] == 'c' || line[0] == 'C') continue;
// Header line
if(line[0] == 'p'){
line = line.substr(line.find(" ")+1);
line = line.substr(line.find(" ")+1);
numberVars = std::stoi(line.substr(0, line.find(" ")));
result.setNumberOfVariables(numberVars);
continue;
}
result.addClauses(Clauses(line));
}
return result;
}