src/ct_common/common/seed_tuple.cpp

Go to the documentation of this file.

//===----- ct_common/common/seed_tuple.cpp ----------------------*- C++ -*-===//
//
//                      The ct_common Library
//
// This file is distributed under the MIT license. See LICENSE for details.
//
//===----------------------------------------------------------------------===//
//
// This file contains the function definitions of class Seed_Tuple
//
//===----------------------------------------------------------------------===//

#include <ct_common/common/seed_tuple.h>

using namespace ct::common;

Seed_Tuple::Seed_Tuple(void)
    : tuple_() {
}

Seed_Tuple::Seed_Tuple(const Seed_Tuple &from)
    : tuple_(from.tuple_) {
}

Seed_Tuple::~Seed_Tuple(void) {
}

Seed_Tuple &Seed_Tuple::operator =(const ct::common::Seed_Tuple &right) {
  this->tuple_ = right.tuple_;
  return *this;
}

EvalType_Bool Seed_Tuple::IsMatch(const Assignment &assignment, const std::vector<boost::shared_ptr<ParamSpec> > &paramspecs) {
  return EvalType_Bool(this->tuple_.IsSubAssignmentOf(assignment), true);
}