diff options
Diffstat (limited to 'src/api/cpp/cvc5.cpp')
-rw-r--r-- | src/api/cpp/cvc5.cpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp index 0da42f173..436ac9856 100644 --- a/src/api/cpp/cvc5.cpp +++ b/src/api/cpp/cvc5.cpp @@ -39,9 +39,13 @@ #include "base/check.h" #include "base/configuration.h" #include "base/modal_exception.h" +#include "expr/array_store_all.h" +#include "expr/ascription_type.h" #include "expr/dtype.h" #include "expr/dtype_cons.h" #include "expr/dtype_selector.h" +#include "expr/emptybag.h" +#include "expr/emptyset.h" #include "expr/kind.h" #include "expr/metakind.h" #include "expr/node.h" @@ -50,6 +54,7 @@ #include "expr/node_manager.h" #include "expr/sequence.h" #include "expr/type_node.h" +#include "expr/uninterpreted_constant.h" #include "options/main_options.h" #include "options/option_exception.h" #include "options/options.h" @@ -58,13 +63,22 @@ #include "smt/model.h" #include "smt/smt_engine.h" #include "smt/smt_mode.h" +#include "theory/datatypes/tuple_project_op.h" #include "theory/logic_info.h" #include "theory/theory_model.h" +#include "util/abstract_value.h" +#include "util/bitvector.h" +#include "util/divisible.h" +#include "util/floatingpoint.h" +#include "util/iand.h" #include "util/random.h" +#include "util/regexp.h" #include "util/result.h" +#include "util/roundingmode.h" #include "util/statistics_registry.h" #include "util/statistics_stats.h" #include "util/statistics_value.h" +#include "util/string.h" #include "util/utility.h" namespace cvc5 { |