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(Boolean * This);
14 void naiveEncodingLogicOp(BooleanLogic * This);
15 void naiveEncodingPredicate(BooleanPredicate * This);
16 void naiveEncodingElement(Element * This);
17 void encodingArrayInitialization(ElementEncoding *This);