def output_model(self): from XCSPOut import XCSPOutput self.out_object = XCSPOutput(self.model) self.out_object.output(self.filename)