Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

[satune.git] / src / Encoders / functionencoding.h

diff --git a/src/Encoders/functionencoding.h b/src/Encoders/functionencoding.h
index 4cd5c86b138636e475c30b16211cc0a577f047cc..a3521396f04abef9689b7371f4905e88b430dd14 100644 (file)
--- a/src/Encoders/functionencoding.h
+++ b/src/Encoders/functionencoding.h
@@ -3,7 +3,7 @@
 #include "classlist.h"
 
 enum FunctionEncodingType {
-       ENUMERATEIMPLICATIONS, CIRCUIT
+       FUNC_UNASSIGNED, ENUMERATEIMPLICATIONS, CIRCUIT
 };
 
 typedef enum FunctionEncodingType FunctionEncodingType;
@@ -21,7 +21,9 @@ struct FunctionEncoding {
        ElementPredicate op;
 };
 
-FunctionEncoding * allocFunctionEncoding(FunctionEncodingType type, Element *function);
-FunctionEncoding * allocPredicateEncoding(FunctionEncodingType type, Boolean *predicate);
-void deleteFunctionEncoding(FunctionEncoding *this);
+void initFunctionEncoding(FunctionEncoding *encoding, Element *function);
+void initPredicateEncoding(FunctionEncoding *encoding, Boolean *predicate);
+void setFunctionEncodingType(FunctionEncoding* encoding, FunctionEncodingType type);
+void deleteFunctionEncoding(FunctionEncoding *This);
+
 #endif