cvc4-1.4
base_options_template.h
Go to the documentation of this file.
1/********************* */
17#include "cvc4_public.h"
18
19#ifndef __CVC4__OPTIONS__${module_id}_H
20#define __CVC4__OPTIONS__${module_id}_H
21
22#include "options/options.h"
23${module_includes}
24
25#line 26 "${template}"
26
27${module_optionholder_spec}
28
29#line 30 "${template}"
30
31namespace CVC4 {
32
33namespace options {
34
35${module_decls}
36
37#line 38 "${template}"
38
39}/* CVC4::options namespace */
40
41${module_specializations}
42
43#line 44 "${template}"
44
45namespace options {
46
47${module_inlines}
48
49#line 50 "${template}"
50
51}/* CVC4::options namespace */
52
53}/* CVC4 namespace */
54
55#endif /* __CVC4__OPTIONS__${module_id}_H */
Macros that should be defined everywhere during the building of the libraries and driver binary,...
@ $
marks the upper-bound of this enumeration
Definition expr.h:106
Global (command-line, set-option, ...) parameters for SMT.