Searched refs:node_ptr_value (Results 1 – 1 of 1) sorted by relevance
595 root_ptr_val = self.node_ptr_value(self.Mroot)635 def node_ptr_value(self, node): member in StdMapLikeSynthProvider655 if self.node_ptr_value(self.right(node)) != 0:658 while self.node_ptr_value(self.left(x)) != 0:670 while(self.node_ptr_value(x) == self.node_ptr_value(self.right(y))):678 if self.node_ptr_value(self.right(x)) != self.node_ptr_value(y):