base_options_template.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__OPTIONS__${module_id}_H
#define __CVC4__OPTIONS__${module_id}_H
#include "options/options.h"
${module_includes}
#line 26 "${template}"
${module_optionholder_spec}
#line 30 "${template}"
namespace CVC4 {
namespace options {
${module_decls}
#line 38 "${template}"
}/* CVC4::options namespace */
${module_specializations}
#line 44 "${template}"
namespace options {
${module_inlines}
#line 50 "${template}"
}/* CVC4::options namespace */
}/* CVC4 namespace */
#endif /* __CVC4__OPTIONS__${module_id}_H */
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4::kind::$
@ $
marks the upper-bound of this enumeration
Definition kind_template.h:33
CVC4
Definition expr.h:106
CVC4::$
@ $
Definition kind_template.h:100
options.h
Global (command-line, set-option, ...) parameters for SMT.