Go to the documentation of this file. 18 #ifndef __CVC4__CVC4_H 19 #define __CVC4__CVC4_H 21 #include <cvc4/base/configuration.h> 22 #include <cvc4/base/exception.h> 23 #include <cvc4/expr/datatype.h> 24 #include <cvc4/expr/expr.h> 25 #include <cvc4/expr/expr_manager.h> 26 #include <cvc4/options/options.h> 27 #include <cvc4/parser/parser.h> 28 #include <cvc4/parser/parser_builder.h> 29 #include <cvc4/smt/command.h> 30 #include <cvc4/smt/smt_engine.h> 31 #include <cvc4/util/integer.h> 32 #include <cvc4/util/rational.h>