Flatten libcvc4 build structure; remove some #include interdependences
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 6 Nov 2013 21:58:16 +0000 (16:58 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 7 Nov 2013 22:47:19 +0000 (17:47 -0500)
commitad4298296a1d0a93e63fbfdbdc1cc7d0032fafd8
tree12e41e99a21a16cf9cff7374a84d9a6527f03c8b
parent4659954ecdafb95d093e85cdf5c89815845488ed
Flatten libcvc4 build structure; remove some #include interdependences
81 files changed:
configure.ac
src/Makefile.am
src/compat/Makefile.am
src/context/Makefile [deleted file]
src/context/Makefile.am [deleted file]
src/decision/Makefile [deleted file]
src/decision/Makefile.am [deleted file]
src/expr/Makefile.am
src/expr/attribute.h
src/expr/expr_template.cpp
src/expr/node.cpp
src/expr/node.h
src/expr/node_manager.cpp
src/expr/node_manager.h
src/expr/node_manager_attributes.h [new file with mode: 0644]
src/expr/type.cpp
src/expr/type_checker_template.cpp
src/expr/type_node.cpp
src/expr/type_node.h
src/parser/Makefile.am
src/printer/Makefile [deleted file]
src/printer/Makefile.am [deleted file]
src/printer/ast/ast_printer.cpp
src/printer/cvc/cvc_printer.cpp
src/printer/smt2/smt2_printer.cpp
src/proof/Makefile [deleted file]
src/proof/Makefile.am [deleted file]
src/prop/Makefile [deleted file]
src/prop/Makefile.am [deleted file]
src/prop/bvminisat/Makefile [deleted file]
src/prop/minisat/Makefile [deleted file]
src/smt/Makefile [deleted file]
src/smt/Makefile.am [deleted file]
src/smt/boolean_terms.cpp
src/smt/model_postprocessor.cpp
src/theory/Makefile [deleted file]
src/theory/Makefile.am [deleted file]
src/theory/Makefile.subdirs
src/theory/arith/Makefile [deleted file]
src/theory/arith/Makefile.am [deleted file]
src/theory/arrays/Makefile [deleted file]
src/theory/arrays/Makefile.am [deleted file]
src/theory/arrays/theory_arrays_rewriter.cpp [new file with mode: 0644]
src/theory/arrays/theory_arrays_rewriter.h
src/theory/arrays/theory_arrays_type_rules.h
src/theory/booleans/Makefile [deleted file]
src/theory/booleans/Makefile.am [deleted file]
src/theory/builtin/Makefile [deleted file]
src/theory/builtin/Makefile.am [deleted file]
src/theory/bv/Makefile [deleted file]
src/theory/bv/Makefile.am [deleted file]
src/theory/datatypes/Makefile [deleted file]
src/theory/datatypes/Makefile.am [deleted file]
src/theory/datatypes/datatypes_rewriter.h
src/theory/datatypes/theory_datatypes_type_rules.h
src/theory/example/Makefile [deleted file]
src/theory/example/Makefile.am [deleted file]
src/theory/idl/Makefile [deleted file]
src/theory/idl/Makefile.am [deleted file]
src/theory/quantifiers/Makefile [deleted file]
src/theory/quantifiers/Makefile.am [deleted file]
src/theory/quantifiers/symmetry_breaking.h
src/theory/quantifiers/term_database.h
src/theory/quantifiers/theory_quantifiers.h
src/theory/rewriter.h
src/theory/rewriter_attributes.h
src/theory/rewriterules/Makefile [deleted file]
src/theory/rewriterules/Makefile.am [deleted file]
src/theory/strings/Makefile [deleted file]
src/theory/strings/Makefile.am [deleted file]
src/theory/theory.h
src/theory/uf/Makefile [deleted file]
src/theory/uf/Makefile.am [deleted file]
src/theory/uf/equality_engine.h
src/theory/uf/theory_uf.h
src/theory/uf/theory_uf_model.cpp
src/theory/uf/theory_uf_strong_solver.h
src/util/datatype.cpp
test/unit/Makefile.am
test/unit/expr/attribute_white.h
test/unit/expr/node_manager_black.h