generateAnyValueBinaryValueEncoding(encoding);
}
-void SATEncoder::freezeElementVariables(ElementEncoding *encoding){
+void SATEncoder::freezeElementVariables(ElementEncoding *encoding) {
ASSERT(encoding->element->frozen);
- for(uint i=0; i< encoding->numVars; i++){
+ for (uint i = 0; i < encoding->numVars; i++) {
Edge e = encoding->variables[i];
ASSERT(edgeIsVarConst(e));
freezeVariable(cnf, e);