From 9023d348d0f30fdd81805f224e77e90ecef1350d Mon Sep 17 00:00:00 2001 From: Alex Ozdemir Date: Fri, 27 Mar 2020 23:22:41 -0700 Subject: Node traversal iterator (#3845) Implement an iterator for pre- and post-order traversals. I believe that this will be useful in pre-processing passes, many of which do postorder traversals that they implement by hand. Right now this iterator does not support modification of the traversal pattern, but we could add this later on, if we want it. Co-authored-by: Andres Noetzli Co-authored-by: Mathias Preiner --- test/unit/expr/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) (limited to 'test/unit/expr/CMakeLists.txt') diff --git a/test/unit/expr/CMakeLists.txt b/test/unit/expr/CMakeLists.txt index d487bf560..438b7f7b6 100644 --- a/test/unit/expr/CMakeLists.txt +++ b/test/unit/expr/CMakeLists.txt @@ -13,6 +13,7 @@ cvc4_add_unit_test_black(node_builder_black expr) cvc4_add_unit_test_black(node_manager_black expr) cvc4_add_unit_test_white(node_manager_white expr) cvc4_add_unit_test_black(node_self_iterator_black expr) +cvc4_add_unit_test_black(node_traversal_black expr) cvc4_add_unit_test_white(node_white expr) cvc4_add_unit_test_black(symbol_table_black expr) cvc4_add_unit_test_black(type_cardinality_public expr) -- cgit v1.2.3