src/Encoders/naiveencoder.h

   1 #ifndef NAIVEELEMENTENCODER_H
   2 #define NAIVEELEMENTENCODER_H
   3 #include "classlist.h"
   4 #include "structs.h"
   5
   6 /**
   7  * The NaiveEncoder assigns a predefined Encoding to each Element and Function.
   8  * @param csolver
   9  * @param encoder
  10  */
  11
  12 void naiveEncodingDecision(CSolver* csolver);
  13 void naiveEncodingConstraint(Boolean * This);
  14 void naiveEncodingLogicOp(BooleanLogic * This);
  15 void naiveEncodingPredicate(BooleanPredicate * This);
  16 void naiveEncodingElement(Element * This);
  17 void baseBinaryIndexElementAssign(ElementEncoding *This);
  18
  19 #endif