---

formula_visitor.cc

Go to the documentation of this file.

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

#include "formula_visitor.h"
#include "formula_visitor_i.h"


#line 38 "formula_visitor.cpp"

// 
// class Formula_visitor
// 

void 
Formula_visitor::visit_formula(Formula& f)
{
  return f.Accept (*this);
}

#line 51 "formula_visitor.cpp"

void 
Formula_visitor::recurse(std::vector<Formula*> v)
{
  for (std::vector<Formula*>::iterator i = v.begin();
       i != v.end();
       ++i)
    {
      visit_formula (**i);
    }
}

#line 65 "formula_visitor.cpp"

// 
// class Formula_basic_visitor
// 

void
Formula_basic_visitor::default_action(Formula&, std::vector<Formula*> v)
{
  return recurse (v);
}

#line 79 "formula_visitor.cpp"


void
Formula_basic_visitor::visit(True& f)
{
  return default_action (f, Formula::vec());
}

#line 86 "formula_visitor.cpp"


void
Formula_basic_visitor::visit(False& f)
{
  return default_action (f, Formula::vec());
}

#line 93 "formula_visitor.cpp"


void
Formula_basic_visitor::visit(Not& f)
{
  return default_action (f, Formula::vec(f.v1));
}

#line 100 "formula_visitor.cpp"


void
Formula_basic_visitor::visit(And& f)
{
  default_action (f, f.v1);
}

#line 107 "formula_visitor.cpp"


void
Formula_basic_visitor::visit(Or& f)
{
  default_action (f, f.v1);
}

#line 114 "formula_visitor.cpp"


void
Formula_basic_visitor::visit(Implies& f)
{
  default_action (f, Formula::vec(f.v1, f.v2));
}

#line 121 "formula_visitor.cpp"



void
Formula_basic_visitor::visit(Iff& f)
{
  default_action (f, Formula::vec(f.v1, f.v2));
}

---