GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/options_holder.h Lines: 1 1 100.0 %
Date: 2021-03-23 Branches: 6 12 50.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file options_holder_template.h
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Mathias Preiner, Morgan Deters
6
 ** This file is part of the CVC4 project.
7
 ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8
 ** in the top-level source directory and their institutional affiliations.
9
 ** All rights reserved.  See the file COPYING in the top-level source
10
 ** directory for licensing information.\endverbatim
11
 **
12
 ** \brief Global (command-line, set-option, ...) parameters for SMT
13
 **
14
 ** Global (command-line, set-option, ...) parameters for SMT.
15
 **/
16
17
#include "cvc4_private.h"
18
19
#ifndef CVC4__OPTIONS__OPTIONS_HOLDER_H
20
#define CVC4__OPTIONS__OPTIONS_HOLDER_H
21
22
#include "options/arith_options.h"
23
#include "options/arrays_options.h"
24
#include "options/base_options.h"
25
#include "options/booleans_options.h"
26
#include "options/builtin_options.h"
27
#include "options/bv_options.h"
28
#include "options/datatypes_options.h"
29
#include "options/decision_options.h"
30
#include "options/expr_options.h"
31
#include "options/fp_options.h"
32
#include "options/main_options.h"
33
#include "options/parser_options.h"
34
#include "options/printer_options.h"
35
#include "options/proof_options.h"
36
#include "options/prop_options.h"
37
#include "options/quantifiers_options.h"
38
#include "options/sep_options.h"
39
#include "options/sets_options.h"
40
#include "options/smt_options.h"
41
#include "options/strings_options.h"
42
#include "options/theory_options.h"
43
#include "options/uf_options.h"
44
45
46
namespace CVC4 {
47
namespace options {
48
49
52236
struct OptionsHolder {
50
  OptionsHolder();
51
  CVC4_OPTIONS__ARITH__FOR_OPTION_HOLDER
52
  CVC4_OPTIONS__ARRAYS__FOR_OPTION_HOLDER
53
  CVC4_OPTIONS__BASE__FOR_OPTION_HOLDER
54
  CVC4_OPTIONS__BOOLEANS__FOR_OPTION_HOLDER
55
  CVC4_OPTIONS__BUILTIN__FOR_OPTION_HOLDER
56
  CVC4_OPTIONS__BV__FOR_OPTION_HOLDER
57
  CVC4_OPTIONS__DATATYPES__FOR_OPTION_HOLDER
58
  CVC4_OPTIONS__DECISION__FOR_OPTION_HOLDER
59
  CVC4_OPTIONS__EXPR__FOR_OPTION_HOLDER
60
  CVC4_OPTIONS__FP__FOR_OPTION_HOLDER
61
  CVC4_OPTIONS__DRIVER__FOR_OPTION_HOLDER
62
  CVC4_OPTIONS__PARSER__FOR_OPTION_HOLDER
63
  CVC4_OPTIONS__PRINTER__FOR_OPTION_HOLDER
64
  CVC4_OPTIONS__PROOF__FOR_OPTION_HOLDER
65
  CVC4_OPTIONS__PROP__FOR_OPTION_HOLDER
66
  CVC4_OPTIONS__QUANTIFIERS__FOR_OPTION_HOLDER
67
  CVC4_OPTIONS__SEP__FOR_OPTION_HOLDER
68
  CVC4_OPTIONS__SETS__FOR_OPTION_HOLDER
69
  CVC4_OPTIONS__SMT__FOR_OPTION_HOLDER
70
  CVC4_OPTIONS__STRINGS__FOR_OPTION_HOLDER
71
  CVC4_OPTIONS__THEORY__FOR_OPTION_HOLDER
72
  CVC4_OPTIONS__UF__FOR_OPTION_HOLDER
73
74
75
};/* struct OptionsHolder */
76
77
}  // namespace options
78
}  // namespace CVC4
79
80
#endif /* CVC4__OPTIONS__OPTIONS_HOLDER_H */