输入整型,且遇到0则停止
int literal;
std::vector<int> clause;
for(int i = 0 ;i < num ; i++)
{
clause.clear();
while(1)
{
std::cin >> literal;
if(literal == 0) break;
else clause.push_back(literal);
}
clauses.push_back(clause);
}
clause.clear(); 与clauses.push_back(clause); 可以及时释放不用暂存空间;
利用break推出此次循环,进入下一次循环;
其中std::vector<std::vector<int>> clauses;