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(CSolver *csolver, Boolean *This);
  14 void naiveEncodingLogicOp(CSolver *csolver, BooleanLogic *This);
  15 void naiveEncodingPredicate(CSolver *csolver, BooleanPredicate *This);
  16 void naiveEncodingElement(CSolver *csolver, Element *This);
  17 #endif