Python model_atoms_to_listsの例

コード例 #1

ファイル: sensor.py プロジェクト: cblop/storybuilder

 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))

コード例 #2

ファイル: instalinstql.py プロジェクト: cblop/storybuilder

	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)