formula.h File Reference
#include <vector>
#include <string>
#include <fstream>
#include "clause.h"
#include "variableset.h"
+ Include dependency graph for formula.h:
+ This graph shows which files directly or indirectly include this file:

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

Detailed Description

Author:
Léo Perrin
Date:
Time-stamp: <2012-06-16 17:14:00 leo>

Definition in file formula.h.


Define Documentation

#define _FORMULA_H_

Definition at line 8 of file formula.h.

#define CLAUSE_BUFFER_SIZE   10000

Definition at line 17 of file formula.h.

 All Classes Namespaces Files Functions Variables Defines