src/ct_common/common/tree_node.h

Go to the documentation of this file.

//===----- ct_common/common/tree_node.h -------------------------*- C++ -*-===//
//
//                      The ct_common Library
//
// This file is distributed under the MIT license. See LICENSE for details.
//
//===----------------------------------------------------------------------===//
//
// This header file contains the base class for expressions and constraints
//
//===----------------------------------------------------------------------===//

#ifndef CT_COMMON_TREE_NODE_H_
#define CT_COMMON_TREE_NODE_H_

#include <vector>
#include <set>
#include <iostream>
#include <boost/shared_ptr.hpp>
#include <ct_common/common/utils.h>

namespace ct {
namespace common {
class ParamSpec;

class DLL_EXPORT TreeNode {
public:
  TreeNode(void);
  TreeNode(const TreeNode &from);
  TreeNode &operator = (const TreeNode &right);
  virtual ~TreeNode(void) = 0;

  virtual std::string get_class_name(void) const;
  static std::string class_name(void);
  bool is_leaf(void) const { return this->oprds_.empty(); }

  void touch_pids(const std::vector<boost::shared_ptr<ParamSpec> > &param_specs,
                  std::set<std::size_t> &pids_to_touch) const;

  virtual void inner_touch_leaf_pids( const std::vector<boost::shared_ptr<ParamSpec> > &param_specs,
                                      std::set<std::size_t> &pids_to_touch) const;

  const std::vector<boost::shared_ptr<TreeNode> > &get_oprds() const { return this->oprds_; }

  virtual const std::string &get_str_value(void) const;

  virtual void dump(std::ostream &os, const std::vector<boost::shared_ptr<ParamSpec> > &param_specs) const = 0;

protected:
  std::vector<boost::shared_ptr<TreeNode> > oprds_;  
};
}  // namespace common
}  // namespace ct

#endif // CT_COMMON_TREE_NODE_H_