@@ -19,8 +19,8 @@ def get_binary_search_subtree_inorder_keys(subtree_root, sentinel):
1919 if subtree_root is sentinel :
2020 return Array ()
2121 return get_binary_search_subtree_inorder_keys (subtree_root .left , sentinel ) \
22- + Array .of (subtree_root .key ) \
23- + get_binary_search_subtree_inorder_keys (subtree_root .right , sentinel )
22+ + Array .of (subtree_root .key ) \
23+ + get_binary_search_subtree_inorder_keys (subtree_root .right , sentinel )
2424
2525
2626def get_binary_search_tree_inorder_nodes (tree ):
@@ -31,8 +31,8 @@ def get_binary_search_subtree_inorder_nodes(subtree_root, sentinel):
3131 if subtree_root is sentinel :
3232 return Array ()
3333 return get_binary_search_subtree_inorder_nodes (subtree_root .left , sentinel ) \
34- + Array .of (subtree_root ) \
35- + get_binary_search_subtree_inorder_nodes (subtree_root .right , sentinel )
34+ + Array .of (subtree_root ) \
35+ + get_binary_search_subtree_inorder_nodes (subtree_root .right , sentinel )
3636
3737
3838def get_random_binary_search_tree (min_size = 1 , max_size = 20 , max_value = 999 , node_ctor = bt .Node ):
@@ -364,16 +364,17 @@ def assert_interval_pom_tree(tree):
364364
365365
366366def assert_interval_pom_subtree (subtree_root , sentinel ):
367- assert_that (subtree_root .sum ,
368- is_ (equal_to (subtree_root .left .sum + (subtree_root .low - subtree_root .high ) + subtree_root .right .sum )))
369- assert_that (subtree_root .max , is_ (equal_to (max (subtree_root .left .max ,
370- subtree_root .left .sum + subtree_root .low ,
371- subtree_root .left .sum +
372- (subtree_root .low - subtree_root .high ) +
373- subtree_root .right .max ))))
374- if subtree_root .max == subtree_root .left .max :
367+ assert_that (subtree_root .overlap ,
368+ is_ (equal_to (
369+ subtree_root .left .overlap + (subtree_root .low - subtree_root .high ) + subtree_root .right .overlap )))
370+ assert_that (subtree_root .max_overlap , is_ (equal_to (max (subtree_root .left .max_overlap ,
371+ subtree_root .left .overlap + subtree_root .low ,
372+ subtree_root .left .overlap +
373+ (subtree_root .low - subtree_root .high ) +
374+ subtree_root .right .max_overlap ))))
375+ if subtree_root .max_overlap == subtree_root .left .max_overlap :
375376 assert_that (subtree_root .pom , is_ (equal_to (subtree_root .left .pom )))
376- elif subtree_root .max == subtree_root .left .sum + subtree_root .low :
377+ elif subtree_root .max_overlap == subtree_root .left .overlap + subtree_root .low :
377378 assert_that (subtree_root .pom , is_ (equal_to (subtree_root .key )))
378379 else :
379380 assert_that (subtree_root .pom , is_ (equal_to (subtree_root .right .pom )))
0 commit comments