bags: Rename kinds with a more consistent naming scheme (#7611)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Fri, 12 Nov 2021 21:33:16 +0000 (15:33 -0600)
committerGitHub <noreply@github.com>
Fri, 12 Nov 2021 21:33:16 +0000 (21:33 +0000)
commitcc4a58f5d43c62b72783d4bd1f4f00e6ef9257b4
tree628f9e849c17de977d143d7f5af24b2cbe924789
parent9b1c8a8053fdf57f6491ffd45be301e87e5df52e
bags: Rename kinds with a more consistent naming scheme (#7611)
57 files changed:
src/CMakeLists.txt
src/api/cpp/cvc5.cpp
src/api/cpp/cvc5_kind.h
src/expr/node_manager.cpp
src/parser/parser.cpp
src/parser/smt2/smt2.cpp
src/printer/smt2/smt2_printer.cpp
src/proof/lfsc/lfsc_node_converter.cpp
src/theory/bags/bag_make_op.cpp [new file with mode: 0644]
src/theory/bags/bag_make_op.h [new file with mode: 0644]
src/theory/bags/bag_solver.cpp
src/theory/bags/bag_solver.h
src/theory/bags/bags_rewriter.cpp
src/theory/bags/bags_rewriter.h
src/theory/bags/infer_info.h
src/theory/bags/inference_generator.cpp
src/theory/bags/inference_generator.h
src/theory/bags/kinds
src/theory/bags/make_bag_op.cpp [deleted file]
src/theory/bags/make_bag_op.h [deleted file]
src/theory/bags/normal_form.cpp
src/theory/bags/normal_form.h
src/theory/bags/rewrites.cpp
src/theory/bags/rewrites.h
src/theory/bags/solver_state.cpp
src/theory/bags/solver_state.h
src/theory/bags/theory_bags.cpp
src/theory/bags/theory_bags_type_enumerator.cpp
src/theory/bags/theory_bags_type_rules.cpp
src/theory/bags/theory_bags_type_rules.h
src/theory/inference_id.cpp
src/theory/inference_id.h
test/regress/regress1/bags/choose1.smt2
test/regress/regress1/bags/choose3.smt2
test/regress/regress1/bags/choose4.smt2
test/regress/regress1/bags/difference_remove1.smt2
test/regress/regress1/bags/duplicate_removal1.smt2
test/regress/regress1/bags/duplicate_removal2.smt2
test/regress/regress1/bags/emptybag1.smt2
test/regress/regress1/bags/fuzzy1.smt2
test/regress/regress1/bags/fuzzy2.smt2
test/regress/regress1/bags/fuzzy3.smt2
test/regress/regress1/bags/fuzzy4.smt2
test/regress/regress1/bags/fuzzy5.smt2
test/regress/regress1/bags/intersection_min1.smt2
test/regress/regress1/bags/intersection_min2.smt2
test/regress/regress1/bags/issue5759.smt2
test/regress/regress1/bags/map1.smt2
test/regress/regress1/bags/map3.smt2
test/regress/regress1/bags/subbag1.smt2
test/regress/regress1/bags/subbag2.smt2
test/regress/regress1/bags/union_disjoint.smt2
test/regress/regress1/bags/union_max1.smt2
test/regress/regress1/bags/union_max2.smt2
test/unit/theory/theory_bags_normal_form_white.cpp
test/unit/theory/theory_bags_rewriter_white.cpp
test/unit/theory/theory_bags_type_rules_white.cpp