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);
18 uint getSizeEncodingArray(ElementEncoding *, uint setSize);