Go to the source code of this file.
Classes | |
class | cnf::Formula |
An instance implements a complete CNF formula using several Clause instances. More... | |
Namespaces | |
namespace | cnf |
Contains function to manipulate easily CNF formulas. | |
Defines | |
#define | _FORMULA_H_ |
#define | CLAUSE_BUFFER_SIZE 10000 |
Definition in file formula.h.
#define _FORMULA_H_ |
#define CLAUSE_BUFFER_SIZE 10000 |