git.libre-soc.org Git - cvc5.git/commit

author	Andres Noetzli <andres.noetzli@gmail.com>
	Wed, 24 Nov 2021 05:53:01 +0000 (21:53 -0800)
committer	GitHub <noreply@github.com>
	Wed, 24 Nov 2021 05:53:01 +0000 (05:53 +0000)
commit	01ff626de4261af83f69552eaba038399c428882
tree	0ae7538a70311e268d7fa226e2c900c3b7aa9100	tree
parent	e1d04c40218a4170fcc6885762e193696d4c958e	commit \| diff

Remove dependency of `TypeNode` on `Node` (#7690)

This is further work towards breaking cyclic dependencies in the `expr`
folder.

23 files changed:

src/expr/CMakeLists.txt		diff \| blob \| history
src/expr/dtype.cpp		diff \| blob \| history
src/expr/dtype_cons.cpp		diff \| blob \| history
src/expr/node_converter.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/expr/node_manager_template.cpp		diff \| blob \| history
src/expr/type_node.cpp		diff \| blob \| history
src/expr/type_node.h		diff \| blob \| history
src/expr/type_properties_template.cpp	[new file with mode: 0644]	blob
src/expr/type_properties_template.h		diff \| blob \| history
src/theory/arrays/theory_arrays_type_rules.cpp		diff \| blob \| history
src/theory/datatypes/datatypes_rewriter.cpp		diff \| blob \| history
src/theory/datatypes/proof_checker.cpp		diff \| blob \| history
src/theory/datatypes/theory_datatypes.cpp		diff \| blob \| history
src/theory/quantifiers/candidate_rewrite_database.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_reconstruct.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_unif_strat.cpp		diff \| blob \| history
src/theory/smt_engine_subsolver.cpp		diff \| blob \| history
src/theory/strings/sequences_rewriter.cpp		diff \| blob \| history
src/theory/theory_model.cpp		diff \| blob \| history
src/theory/uf/theory_uf_type_rules.cpp		diff \| blob \| history
test/unit/util/datatype_black.cpp		diff \| blob \| history