public static MetaProgram.BinaryTree CreateBinaryTree([PexAssumeNotNull] double[] arr)
{
MetaProgram.BinaryTree tree = new MetaProgram.BinaryTree();
for (int i = 0; i < arr.Length; i++)
{
tree.add(arr[i]);
}
return(tree);
}
public static MetaProgram.BinaryTree CreateBinaryTree_double(double val1)
{
//Make tree
MetaProgram.BinaryTree tree = new MetaProgram.BinaryTree();
tree.root = new MetaProgram.BinaryTree.Node(tree, val1);
//tree.root.left = null;
//tree.root.right = null;
return(tree);
}
