1 #include "concretepredicate.h"
3 ConcretePredicate::ConcretePredicate(void * loc) :
8 ConcretePredicate::~ConcretePredicate()
13 void ConcretePredicate::add_expression(token_t token, uint64_t value, bool equality)
15 expressions.push_back(concrete_pred_expr(token, value, equality));