src/ct_common/common/tuple.h

Go to the documentation of this file.

//===----- ct_common/common/tuple.h -----------------------------*- C++ -*-===//
//
//                      The ct_common Library
//
// This file is distributed under the MIT license. See LICENSE for details.
//
//===----------------------------------------------------------------------===//
//
// This header file contains the class for tuples
//
//===----------------------------------------------------------------------===//

#ifndef CT_COMMON_TUPLE_H_
#define CT_COMMON_TUPLE_H_

#include <vector>
#include <boost/shared_ptr.hpp>
#include <ct_common/common/utils.h>
#include <ct_common/common/pvpair.h>
#include <ct_common/common/assignment.h>

namespace ct {
namespace common {
class ParamSpec;
class DLL_EXPORT Tuple : public Assignment, private std::vector<PVPair>
{
public:
  Tuple(void);
  Tuple(const Tuple &from);
  explicit Tuple(const std::vector<PVPair> &from);
  Tuple &operator =(const Tuple &right);
  ~Tuple(void);

  virtual bool IsContainParam(std::size_t pid) const;
  virtual std::size_t GetValue(std::size_t pid) const;
  virtual bool IsSubAssignmentOf(const Assignment &asignment) const;

  std::vector<std::size_t> get_rel_pids(void) const;

  void Sort(void);

  const PVPair *Search(std::size_t pid) const;

  bool to_the_next_tuple(
      std::vector<boost::shared_ptr<ct::common::ParamSpec> > param_specs);
  bool to_the_next_tuple_with_ivld(
      std::vector<boost::shared_ptr<ct::common::ParamSpec> > param_specs);

  using std::vector<PVPair>::assign;
  using std::vector<PVPair>::push_back;
  using std::vector<PVPair>::pop_back;
  using std::vector<PVPair>::resize;
  using std::vector<PVPair>::size;
  using std::vector<PVPair>::empty;
  using std::vector<PVPair>::operator [];
  bool operator == (const Tuple &right) const;
  bool operator <(const Tuple &right) const;
};
}  // namespace common
}  // namespace ct

#endif  // CT_COMMON_TUPLE_H_