src/Encoders/naiveencoder.h

   1 #ifndef NAIVEELEMENTENCODER_H
   2 #define NAIVEELEMENTENCODER_H
   3 #include "classlist.h"
   4 #include "structs.h"
   5
   6
   7
   8 /**
   9  *For now, This function just simply goes through elements/functions and
  10  *assigns a predefined Encoding to each of them
  11  * @param csolver
  12  * @param encoder
  13  */
  14 void naiveEncodingDecision(CSolver* csolver);
  15 void baseBinaryIndexElementAssign(ElementEncoding *This);
  16
  17 #endif