def on_model(self, model): self.last_solution = model.atoms() self.holdsat = [] self.occurred = [] self.observed, self.occurred, self.holdsat = model_atoms_to_lists(model.atoms(Model.ATOMS),verbose=self.args.verbose) if self.args.verbose>0: print(state_to_string(self.observed,self.occurred,self.holdsat))
def on_model(self,model): last_solution = model.atoms() self.observed, self.occurred, self.holdsat = model_atoms_to_lists(model.atoms(Model.SHOWN),from_json=True)