diff options
author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-03-27 23:22:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-27 23:22:41 -0700 |
commit | 9023d348d0f30fdd81805f224e77e90ecef1350d (patch) | |
tree | a8929284b8ab84328bee436a16065c2ba54e02cb /test/unit/expr/CMakeLists.txt | |
parent | 8ee4da5904e15c7900109a82ec126ce87715e548 (diff) |
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 <andres.noetzli@gmail.com>
Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
Diffstat (limited to 'test/unit/expr/CMakeLists.txt')
-rw-r--r-- | test/unit/expr/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
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) |