src/Encoders/naiveencoder.h

   1 #ifndef NAIVEELEMENTENCODER_H
   2 #define NAIVEELEMENTENCODER_H
   3 #include "classlist.h"
   4
   5 //For now, This function just simply goes through elements/functions and
   6 //assigns a predefined Encoding to each of them
   7 void naiveEncodingDecision(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);
  15 #endif