An Oberon pointer refers to a record containing an integer label and two subtree references:Use
TYPE
Tree = POINTER TO Node;
Node = RECORD
left, right: Tree;
label: INTEGER
END;NIL for the empty binary tree, including either absent child. The representation invariant requires a finite, acyclic binary tree with disjoint left and right subtrees. In particular, shared nodes would represent a different structure and invalidate destructive traversal arguments. Articles by others on the same topic
There are currently no matching articles.