constFormula.hh File Reference

#include "basics/debug.hh"
#include "formula.hh"

Go to the source code of this file.

Classes
class	concepts::ConstFormula< F >

Namespaces
namespace	concepts

Macros
#define	ConstFormConstr_D   0
#define	ConstFormDestr_D   0

Detailed Description

Class for sums of formulas

Definition in file constFormula.hh.

Macro Definition Documentation

ConstFormConstr_D

#define ConstFormConstr_D   0

Definition at line 12 of file constFormula.hh.

ConstFormDestr_D

#define ConstFormDestr_D   0

Definition at line 13 of file constFormula.hh.