public static int SumTree(NodeTree tree) { if (tree == null) { return(0); } return(SumTree(tree.L) + SumTree(tree.R) + tree.value); }
public static void CheckTree(NodeTree tree) { Node2 list = new Node2(); list.value = 0; Node2 head = list; Tree2List(tree, list); int s1 = SumList(head); int s2 = SumTree(tree); __VERIFIER_assert(s1 == s2); }
public static Node2 Tree2List(NodeTree tree, Node2 list) { if (tree == null) { return(list); } Node2 newNode = new Node2(); newNode.value = tree.value; newNode.next = null; list.next = newNode; list = newNode; list = Tree2List(tree.L, list); list = Tree2List(tree.R, list); return(list); }