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 encodingArrayInitialization(ElementEncoding *This);
  18 uint getSizeEncodingArray(ElementEncoding *, uint setSize);
  19
  20 #endif