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);
}
