concretepredicate.cc

   1 #include "concretepredicate.h"
   2
   3 ConcretePredicate::ConcretePredicate(thread_id_t tid) :
   4         tid(tid),
   5         expressions()
   6 {}
   7
   8 ConcretePredicate::~ConcretePredicate()
   9 {
  10         expressions.clear();
  11 }
  12
  13 void ConcretePredicate::add_expression(token_t token, uint64_t value, bool equality)
  14 {
  15         expressions.push_back(concrete_pred_expr(token, value, equality));
  16 }