diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-05 19:31:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-05 19:31:28 -0700 |
commit | d2e454e0dfc06e16fe0a4228168b21cf1311fc35 (patch) | |
tree | 65063161aa9e21348182b13251524c58b0ca49c5 /src/parser | |
parent | 00a20b53ce998f52b18303a7a680e6a00acc098c (diff) |
New C++ Api: Rename and move headers. (#6292)
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/cvc/cvc.h | 2 | ||||
-rw-r--r-- | src/parser/input.h | 2 | ||||
-rw-r--r-- | src/parser/parse_op.h | 2 | ||||
-rw-r--r-- | src/parser/parser.cpp | 2 | ||||
-rw-r--r-- | src/parser/parser.h | 2 | ||||
-rw-r--r-- | src/parser/parser_builder.cpp | 2 | ||||
-rw-r--r-- | src/parser/smt2/Smt2.g | 2 | ||||
-rw-r--r-- | src/parser/smt2/smt2.h | 2 | ||||
-rw-r--r-- | src/parser/tptp/Tptp.g | 2 | ||||
-rw-r--r-- | src/parser/tptp/tptp.cpp | 2 | ||||
-rw-r--r-- | src/parser/tptp/tptp.h | 2 |
11 files changed, 11 insertions, 11 deletions
diff --git a/src/parser/cvc/cvc.h b/src/parser/cvc/cvc.h index acfcc1d17..ad3642e20 100644 --- a/src/parser/cvc/cvc.h +++ b/src/parser/cvc/cvc.h @@ -19,7 +19,7 @@ #ifndef CVC4__PARSER__CVC_H #define CVC4__PARSER__CVC_H -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "parser/parser.h" namespace cvc5 { diff --git a/src/parser/input.h b/src/parser/input.h index fcaa36932..d54cb95ab 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -25,7 +25,7 @@ #include <string> #include <vector> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "cvc4_export.h" #include "options/language.h" #include "parser/parser_exception.h" diff --git a/src/parser/parse_op.h b/src/parser/parse_op.h index 1163ab6be..592fce4f7 100644 --- a/src/parser/parse_op.h +++ b/src/parser/parse_op.h @@ -19,7 +19,7 @@ #include <string> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" namespace cvc5 { diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 6725b5ec7..b4e4639ba 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -23,7 +23,7 @@ #include <sstream> #include <unordered_set> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "base/check.h" #include "base/output.h" #include "expr/kind.h" diff --git a/src/parser/parser.h b/src/parser/parser.h index 173b98a9c..79b975fc4 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -23,7 +23,7 @@ #include <set> #include <string> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "cvc4_export.h" #include "expr/kind.h" #include "expr/symbol_manager.h" diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp index b0b6a03e7..933be7a51 100644 --- a/src/parser/parser_builder.cpp +++ b/src/parser/parser_builder.cpp @@ -19,7 +19,7 @@ #include <string> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "base/check.h" #include "cvc/cvc.h" #include "options/options.h" diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 6adc6275a..3302533e6 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -102,7 +102,7 @@ namespace cvc5 { #include <unordered_set> #include <vector> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "base/output.h" #include "options/set_language.h" #include "parser/antlr_input.h" diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index 5ad508868..645209c61 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -25,7 +25,7 @@ #include <unordered_map> #include <utility> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "parser/parse_op.h" #include "parser/parser.h" #include "theory/logic_info.h" diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g index 030330748..f6b845212 100644 --- a/src/parser/tptp/Tptp.g +++ b/src/parser/tptp/Tptp.g @@ -100,7 +100,7 @@ using namespace cvc5::parser; #include <iterator> #include <vector> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "base/output.h" #include "parser/antlr_input.h" #include "parser/parser.h" diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp index 7a3a47ec9..2f770a58d 100644 --- a/src/parser/tptp/tptp.cpp +++ b/src/parser/tptp/tptp.cpp @@ -18,7 +18,7 @@ #include <algorithm> #include <set> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "base/check.h" #include "options/options.h" #include "parser/parser.h" diff --git a/src/parser/tptp/tptp.h b/src/parser/tptp/tptp.h index b91418bd0..ab2e0db51 100644 --- a/src/parser/tptp/tptp.h +++ b/src/parser/tptp/tptp.h @@ -22,7 +22,7 @@ #include <unordered_map> #include <unordered_set> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "parser/parse_op.h" #include "parser/parser.h" #include "util/hash.h" |