树数据类型是:
datatype mobile = Object of int | Wire of mobile * mobile
为了检查它是否平衡,我发现我必须首先创建一个权重函数来计算每个节点值的权重,然后比较左子树和右树。但是,我无法将其用 ml 语言表达。
到目前为止的代码:
fun balanced Object = true
if(weight(Wire(x,t1)) - weight(Wire(y,t1))) = 0)
then true
else false