从零开始编写SAT求解器（二）

最新推荐文章于 2024-04-26 09:41:56 发布

swy_swy_swy

最新推荐文章于 2024-04-26 09:41:56 发布

阅读量1.2w

点赞数 5

分类专栏：数学与逻辑文章标签： c++ 逻辑推理算法

本文链接：https://blog.csdn.net/swy_swy_swy/article/details/104979621

版权

文件解析器实现,assert语句使用

摘要由CSDN通过智能技术生成

从零开始编写SAT求解器（二）

从零开始编写SAT求解器（二）

从零开始编写SAT求解器（二）

上一篇地址

文件解析器

上代码：

//
// Dimacs parser.
//filename:DimacsParser.h
//
#include <iostream>
#include <fstream>
#include <cstdlib>
#include <cassert>
#include "common.h"

#ifndef DPLL_DIMACSPARSER_H
#define DPLL_DIMACSPARSER_H


class DimacsParser {
   
public:
    /**
     * Parse a dimacs file.
     * @param file_name dimacs file name
     * @return a parsed formula (if succeeds)
     */
    static formula parse(const std::string &file_name) {
   
        std::ifstream fin(file_name);
        if (!fin) {
   
            std::cerr << "file not found: " << file_name << "'" << std::endl;
            std::exit(1);
        }

        int n = 0, m = 0;
        while (