Searched refs:node_ptr_value (Results 1 – 1 of 1) sorted by relevance
596 root_ptr_val = self.node_ptr_value(self.Mroot)636 def node_ptr_value(self, node): member in StdMapLikeSynthProvider656 if self.node_ptr_value(self.right(node)) != 0:659 while self.node_ptr_value(self.left(x)) != 0:671 while(self.node_ptr_value(x) == self.node_ptr_value(self.right(y))):679 if self.node_ptr_value(self.right(x)) != self.node_ptr_value(y):