1 #ifndef NAIVEELEMENTENCODER_H
2 #define NAIVEELEMENTENCODER_H
5 //For now, This function just simply goes through elements/functions and
6 //assigns a predefined Encoding to each of them
7 void makeEncodingDecisions(CSolver* csolver);
8 void encode(CSolver* csolver);
9 void baseBinaryIndexElementAssign(ElementEncoding *This);
10 void naiveEncodeFunctionPredicate( FunctionEncoding *This);
11 void naiveEncodeCircuitFunction(FunctionEncoding* This);
12 void naiveEncodeEnumeratedFunction(FunctionEncoding* This);
13 void naiveEncodeEnumTableFunc(ElementFunction* This);
14 void naiveEncodeEnumOperatingFunc(ElementFunction* This);