From 0870af877484b364b86c860aec8e137354693b69 Mon Sep 17 00:00:00 2001
From: weiyu <weiyuluo1232@gmail.com>
Date: Mon, 30 Sep 2019 10:41:07 -0700
Subject: [PATCH] Concrete predicate class

---
 concretepredicate.cc | 16 ++++++++++++++++
 concretepredicate.h  | 23 +++++++++++++++++++++++
 2 files changed, 39 insertions(+)
 create mode 100644 concretepredicate.cc
 create mode 100644 concretepredicate.h

diff --git a/concretepredicate.cc b/concretepredicate.cc
new file mode 100644
index 00000000..e3cbcac6
--- /dev/null
+++ b/concretepredicate.cc
@@ -0,0 +1,16 @@
+#include "concretepredicate.h"
+
+ConcretePredicate::ConcretePredicate(void * loc) :
+	location(loc),
+	expressions()
+{}
+
+ConcretePredicate::~ConcretePredicate()
+{
+	expressions.clear();
+}
+
+void ConcretePredicate::add_expression(token_t token, uint64_t value, bool equality)
+{
+	expressions.push_back(concrete_pred_expr(token, value, equality));
+}
diff --git a/concretepredicate.h b/concretepredicate.h
new file mode 100644
index 00000000..2ec4e85d
--- /dev/null
+++ b/concretepredicate.h
@@ -0,0 +1,23 @@
+#ifndef __CONCRETE_PREDICATE_H__
+#define __CONCRETE_PREDICATE_H__
+
+#include <inttypes.h>
+#include "classlist.h"
+#include "predicatetypes.h"
+
+class ConcretePredicate {
+public:
+	ConcretePredicate(void * loc);
+	~ConcretePredicate();
+
+	void add_expression(token_t token, uint64_t value, bool equality);
+	SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }
+	void * get_location() { return location; }
+
+	SNAPSHOTALLOC
+private:
+	void * location;
+	SnapVector<struct concrete_pred_expr> expressions;
+};
+
+#endif /* __CONCRETE_PREDICATE_H */
-- 
2.34.1