---

formula.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef formula_h
#define formula_h

#include <vector>

#include <Visitor.h>

//
// INTERFACE definition follows 
//

using Loki::BaseVisitor;        // Work around bug in Loki

class Formula : public Loki::BaseVisitable<>
{
public:
  virtual ~Formula() {};

public:  
  static std::vector<Formula*> vec(Formula* f1 = 0, Formula* f2 = 0, Formula* f3 = 0, Formula* f4 = 0, Formula* f5 = 0, Formula* f6 = 0);
};

#define FORMULA_0(Type)                         \
struct Type: public Formula                     \
{                                               \
  DEFINE_VISITABLE();                           \
};

#define FORMULA_1(Type, Component1)             \
struct Type: public Formula                     \
{                                               \
  typedef Component1 V1type;                    \
  Component1 v1;                                \
                                                \
  DEFINE_VISITABLE();                           \
                                                \
  explicit Type (Component1 c1)                 \
    : v1 (c1)                                   \
  {}                                            \
};

#define FORMULA_2(Type, Component1, Component2) \
struct Type:                                    \
  public Formula                                \
{                                               \
  typedef Component1 V1type;                    \
  typedef Component2 V2type;                    \
  Component1 v1;                                \
  Component2 v2;                                \
                                                \
  DEFINE_VISITABLE();                           \
                                                \
  Type (Component1 c1, Component2 c2)           \
    : v1 (c1), v2 (c2)                          \
  {}                                            \
};


FORMULA_0 (True);
FORMULA_0 (False);
FORMULA_1 (Not, Formula*);
FORMULA_1 (And, std::vector<Formula*>);
FORMULA_1 (Or, std::vector<Formula*>);
FORMULA_2 (Implies, Formula*, Formula*);
FORMULA_2 (Iff, Formula*, Formula*);

typedef TYPELIST_7(True, False, Not, And, Or, Implies, Iff) 
  Formula_tl;

#endif // formula_h

---