Main Page   Namespace List   Class Hierarchy   Compound List   File List   Compound Members   File Members  

formula.h File Reference

#include <vector>
#include <Visitor.h>

Include dependency graph for formula.h:

Include dependency graph

This graph shows which files directly or indirectly include this file:

Included by dependency graph

Go to the source code of this file.

Compounds

struct  And
struct  False
class  Formula
 Abstract base class of classes representing logical formulas. More...

struct  Iff
struct  Implies
struct  Not
struct  Or
struct  True

Defines

#define FORMULA_0(Type)
#define FORMULA_1(Type, Component1)
#define FORMULA_2(Type, Component1, Component2)

Functions

typedef TYPELIST_7 (True, False, Not, And, Or, Implies, Iff) Formula_tl
 Visitable subtypes of Formula. More...

Define Documentation

#define FORMULA_0 (  Type    ) 
 

Value:

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

Definition at line 27 of file formula.h.

#define FORMULA_1 (  Type,
Component1    ) 
 

Value:

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

Definition at line 33 of file formula.h.

#define FORMULA_2 (  Type,
Component1,
Component2    ) 
 

Value:

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)                          \
  {}                                            \
};

Definition at line 46 of file formula.h.

Function Documentation

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

Visitable subtypes of Formula.

Formula_visitor requires visit() functions for all types appearing in this typelist.

Generated on Mon Feb 10 17:33:47 2003 for VFiasco Semantics Compiler by doxygen1.2.15