concretepredicate.cc

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