return copy;
}
-CSolver *CSolver::deserialize(const char *file) {
+CSolver *CSolver::deserialize(const char *file, bool alloy) {
model_print("deserializing %s ...\n", file);
- Deserializer deserializer(file);
+ Deserializer deserializer(file, alloy);
return deserializer.deserialize();
}
}
void CSolver::setAlloyEncoder(){
- alloyEncoder = new AlloyEnc(this);
+ if(alloyEncoder == NULL){
+ alloyEncoder = new AlloyEnc(this);
+ }
}
void CSolver::printConstraints() {