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