---

formula_visitor.h

Go to the documentation of this file.

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

#ifndef formula_visitor_h
#define formula_visitor_h

#include "formula.h"

#include <HierarchyGenerators.h>

//
// INTERFACE definition follows 
//


template <typename T, typename Ret = void>
class Formula_visitor_tag : public Loki::Visitor<T,Ret>
{
public:
  typedef Ret Returntype;
  virtual Returntype visit(T&) = 0;
private:
  // This is what the visitable classes' Accept() functions call.  We
  // translate these calls to our naming convention (uncapitalized
  // name "visit").
  virtual Returntype Visit(T& t)
  { return visit (t); }
};

class Formula_visitor :
  public Loki::BaseVisitor,
  public Loki::GenScatterHierarchy<Formula_tl, Formula_visitor_tag>
{

public:  
  // 
  // class Formula_visitor
  // 
  
  void visit_formula(Formula& f);
  
  void recurse(std::vector<Formula*> v);
};

class Formula_basic_visitor : public Formula_visitor
{

public:  
  // 
  // class Formula_basic_visitor
  // 
  
  virtual void default_action(Formula&, std::vector<Formula*> v);
  
  virtual void visit(True& f);
  
  virtual void visit(False& f);
  
  virtual void visit(Not& f);
  
  virtual void visit(And& f);
  
  virtual void visit(Or& f);
  
  virtual void visit(Implies& f);
  
  virtual void visit(Iff& f);
};

#endif // formula_visitor_h

---