예제 #1
0
파일: dotgraph.py 프로젝트: emsrc/algraeph
 def _node_statement(self, stgraph, stnode):
     if stgraph.node_is_terminal(stnode):
         return BasicDotSubGraph._node_statement(self, stgraph, stnode)
     else:
         return BasicDotSubGraph._node_statement(self,
                                                 stgraph,
                                                 stnode,
                                                 fontcolor="black")
예제 #2
0
파일: dotgraph.py 프로젝트: emsrc/algraeph
 def _update_nodes(self, stgraph):
     self._update_ignored_nodes(stgraph)
     return BasicDotSubGraph.update_nodes(self, stgraph)
예제 #3
0
파일: dotgraph.py 프로젝트: emsrc/algraeph
 def _init_view_options(self):
     BasicDotSubGraph._init_view_options(self)
     self.order_nodes_option()
예제 #4
0
파일: dotgraph.py 프로젝트: emsrc/algraeph
 def _is_visible(self, stnode):
     return ( BasicDotSubGraph._is_visible(self, stnode) and
             stnode not in self._ignored_nodes )
예제 #5
0
파일: dotgraph.py 프로젝트: emsrc/algraeph
 def _node_statement(self, stgraph, stnode):
     if stgraph.node_is_terminal(stnode):
         return BasicDotSubGraph._node_statement(self, stgraph, stnode)
     else:
         return BasicDotSubGraph._node_statement(self, stgraph, stnode,
                                                 fontcolor="black")
예제 #6
0
파일: dotgraph.py 프로젝트: emsrc/algraeph
 def _is_visible(self, stnode):
     return (BasicDotSubGraph._is_visible(self, stnode)
             and stnode not in self._ignored_nodes)
예제 #7
0
파일: dotgraph.py 프로젝트: emsrc/algraeph
 def _update_nodes(self, stgraph):
     self._update_ignored_nodes(stgraph)
     return BasicDotSubGraph.update_nodes(self, stgraph)
예제 #8
0
파일: dotgraph.py 프로젝트: emsrc/algraeph
 def _init_view_options(self):
     BasicDotSubGraph._init_view_options(self)
     self.order_nodes_option()