constFormula.hh File Reference
Go to the source code of this file.
Classes | |
| class | concepts::ConstFormula< F > |
| Class for a constant formula. More... | |
Namespaces | |
| concepts | |
| Basic namespace for Concepts-2. | |
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 13 of file constFormula.hh.
◆ ConstFormDestr_D
| #define ConstFormDestr_D 0 |
Definition at line 14 of file constFormula.hh.