From: Hamed <hamed.gorjiara@gmail.com>
Date: Fri, 16 Jun 2017 17:44:21 +0000 (-0700)
Subject: adding fucntion's fields
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ef44cea1f59355739c77bc687d75854294118034;p=satune.git

adding fucntion's fields
---

diff --git a/src/function.h b/src/function.h
index f023f4a..82379f7 100644
--- a/src/function.h
+++ b/src/function.h
@@ -2,9 +2,13 @@
 #define FUNCTION_H
 #include "classlist.h"
 #include "mymemory.h"
-
+#include "ops.h"
+#include "structs.h"
 struct Function {
-    
+    enum ArithOp op;
+    VectorSet* domains; 
+    Set * range;
+    enum OverFlowBehavior overflowbehavior;
     Table* table;
 };
 #endif