2 #ifndef NAIVEENCODINGASSIGNMENT_H
3 #define NAIVEENCODINGASSIGNMENT_H
10 #define GETVECTORFUNCTIONENCODING(o) (&((Encodings*)o)->funcEncoding)
11 #define GETVECTORELEMENTENCODING(o) (&((Encodings*)o)->elemEncoding)
14 HashTableVoidToFuncEncod* voidToFuncEncode;
15 HashTableElemToEncod* elemToEncode;
16 VectorFunctionEncoding funcEncoding;
17 VectorElementEncoding elemEncoding;
20 Encodings* allocEncodings();
22 //For now, This function just simply goes through elements/functions and
23 //assigns a predefined Encoding to each of them
24 void assignEncoding(CSolver* csolver, Encodings* This);
25 void encodeFunctionsElements(Encodings* This);
26 void deleteEncodings(Encodings* This);
28 #endif /* NAIVEENCODINGASSIGNMENT_H */