Searched refs:node_name (Results 1 – 1 of 1) sorted by relevance
326 assert self.node_name() == node_id328 def node_name(self): member in ExplodedNode812 % (node.node_name()))846 pred.node_name(), succ.node_name(),