1 #ifndef NAIVEELEMENTENCODER_H
2 #define NAIVEELEMENTENCODER_H
9 *For now, This function just simply goes through elements/functions and
10 *assigns a predefined Encoding to each of them
14 void naiveEncodingDecision(CSolver* csolver);
15 void baseBinaryIndexElementAssign(ElementEncoding *This);