12#define ConstFormConstr_D 0
13#define ConstFormDestr_D 0
25 template<
typename F = Real>
29 DEBUGL(ConstFormConstr_D,
"a = " << a);
40 virtual ~ConstFormula() {
41 DEBUGL(ConstFormDestr_D,
"Delete " << *
this);
51 virtual std::ostream&
info(std::ostream&
os)
const {
#define DEBUGL(doit, msg)
std::string typeOf(const T &t)
Set< F > makeSet(uint n, const F &first,...)