Ejemplo n.º 1
0
 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))
Ejemplo n.º 2
0
	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)