constFormula.hh File Reference

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

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.

Page URL: http://wiki.math.ethz.ch/bin/view/Concepts/WebHome
21 August 2020
© 2020 Eidgenössische Technische Hochschule Zürich