X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=predicate.h;h=e901d91fe3d71c357a83be46b8a098d8123f69e3;hb=8b3bff063ed9640c7bb8e73b79dcc50b54c775ad;hp=732e39abd8b7644d5f5d9d37df1e9a133594b06e;hpb=39e9009d50498d0dd1bccc1a54e378f7aef5a28a;p=c11tester.git

diff --git a/predicate.h b/predicate.h
index 732e39ab..e901d91f 100644
--- a/predicate.h
+++ b/predicate.h
@@ -31,6 +31,19 @@ struct pred_expr {
 	MEMALLOC
 };
 
+/* Used by predicate generator */
+struct half_pred_expr {
+	half_pred_expr(token_t token, FuncInst * inst) :
+		token(token),
+		func_inst(inst)
+	{}
+
+	token_t token;
+	FuncInst * func_inst;
+
+	SNAPSHOTALLOC
+};
+
 
 class Predicate {
 public: