摘要： clause.hpp clause.cpp clause.hpp 声明了常用类型的别名： /* */ typedef int * literal_iterator;typedef const int * const_literal_iterator; /* */ 定义结构类型Clause、claus 阅读全文