1 #ifndef NAIVEELEMENTENCODER_H
2 #define NAIVEELEMENTENCODER_H
7 * The NaiveEncoder assigns a predefined Encoding to each Element and Function.
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);