示例#1
0
文件: ivy_art.py 项目: simudream/ivy
 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
示例#2
0
文件: ivy_art.py 项目: JJTRX/ivy
 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
示例#3
0
文件: ivy_art.py 项目: jamella/ivy
    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
示例#4
0
 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