采用什么样的方式怎样剪枝,下面是按照我的需求进行的剪枝,具体怎么剪,还是要根据需求。
def cut_tree(tree):
# find all leaves's node
all_leaves = tree.leaves()
# find all ids of leaves's node
all_leaves_id = [ str(x).split(',')[1].split('=')[1] for
采用什么样的方式怎样剪枝,下面是按照我的需求进行的剪枝,具体怎么剪,还是要根据需求。
def cut_tree(tree):
# find all leaves's node
all_leaves = tree.leaves()
# find all ids of leaves's node
all_leaves_id = [ str(x).split(',')[1].split('=')[1] for