def instql_show(self,dict_predicates, instql_asp): self.ctl = Control() self.ctl.load(temporary_text_file(instql_asp)) fact_asp = dict_funs_to_asp(dict_predicates) self.ctl.load(temporary_text_file(fact_asp)) parts = [] self.ctl.ground(parts+[("base", [])]) self.ctl.solve(on_model=self.on_model) out = state_dict_from_lists(self.observed,self.occurred,self.holdsat) return out
def get_state_json(self): return state_dict_from_lists(self.observed,self.occurred,self.holdsat)