def concept_graph(self, state, clauses=None): if clauses == None: clauses = state.clauses bg = self.domain.background_theory(state.in_scope) print "bg: {}".format(bg) sg = standard_graph(state) sg.set_state(and_clauses(clauses, bg)) sg.set_concrete([]) # TODO: get rid of this self.state_graphs.append(sg) return sg
def concept_graph(self,state,clauses=None): if clauses == None: clauses = state.clauses bg = self.domain.background_theory(state.in_scope) print "bg: {}".format(bg) sg = standard_graph(state) sg.set_state(and_clauses(clauses,bg)) sg.set_concrete([]) # TODO: get rid of this self.state_graphs.append(sg) return sg
def concept_graph(self,state,clauses=None): if clauses == None: clauses = state.clauses bg = self.domain.background_theory(state.in_scope) # print "bg: {}".format(bg) sg = standard_graph(state) # TODO: following shouldn't be needed. sg.current.set_state(and_clauses(clauses,bg)) sg.current.set_concrete([]) # TODO: get rid of this return sg
def concept_graph(self, state, clauses=None): if clauses == None: clauses = state.clauses bg = self.domain.background_theory(state.in_scope) # print "bg: {}".format(bg) sg = standard_graph(state) # TODO: following shouldn't be needed. sg.current.set_state(and_clauses(clauses, bg)) sg.current.set_concrete([]) # TODO: get rid of this return sg