remove/shuffle some #include dependencies; fix some documentation; apply coding standards
authorMorgan Deters <mdeters@gmail.com>
Mon, 4 Oct 2010 04:20:19 +0000 (04:20 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 4 Oct 2010 04:20:19 +0000 (04:20 +0000)
commit7719416c6698cdc49b7a0d2d62b4472ef815a487
tree472f1fd2f399224062753b5bc588b567423efa4a
parent738114852c81e7203fda105d5386dc26187fcb87
remove/shuffle some #include dependencies; fix some documentation; apply coding standards
40 files changed:
src/expr/attribute.h
src/expr/attribute_internals.h
src/expr/declaration_scope.h
src/expr/expr_manager_scope.h
src/expr/expr_manager_template.cpp
src/expr/expr_manager_template.h
src/expr/expr_template.cpp
src/expr/expr_template.h
src/expr/type.cpp
src/expr/type.h
src/expr/type_constant.h
src/expr/type_node.cpp
src/expr/type_node.h
src/parser/parser_builder.h
src/parser/smt/smt.cpp
src/parser/smt2/smt2.cpp
src/theory/arrays/theory_arrays_type_rules.h
src/theory/booleans/theory_bool_type_rules.h
src/theory/builtin/theory_builtin_type_rules.h
src/theory/uf/theory_uf_type_rules.h
src/util/Assert.cpp
src/util/Assert.h
src/util/array.h
src/util/bitvector.cpp
src/util/bitvector.h
src/util/configuration_private.h
src/util/congruence_closure.cpp
src/util/congruence_closure.h
src/util/decision_engine.cpp
src/util/hash.h
src/util/integer_cln_imp.h
src/util/integer_gmp_imp.h
src/util/output.cpp
src/util/rational_cln_imp.cpp
src/util/rational_cln_imp.h
src/util/rational_gmp_imp.cpp
src/util/rational_gmp_imp.h
src/util/result.h
src/util/sexpr.h
src/util/stats.cpp