GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/arrays_options.cpp Lines: 23 64 35.9 %
Date: 2021-03-23 Branches: 2 4 50.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file module_template.cpp
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Mathias Preiner
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 Option template for option modules.
13
 **
14
 ** For each <module>_options.toml configuration file, mkoptions.py
15
 ** expands this template and generates a <module>_options.cpp file.
16
 **/
17
18
#include "options/options_holder.h"
19
#include "base/check.h"
20
21
namespace CVC4 {
22
23
template <> void Options::set(
24
    options::arraysConfig__option_t,
25
    const options::arraysConfig__option_t::type& x)
26
{
27
  d_holder->arraysConfig = x;
28
}
29
template <> const options::arraysConfig__option_t::type& Options::operator[](
30
    options::arraysConfig__option_t) const
31
{
32
  return d_holder->arraysConfig;
33
}
34
template <> bool Options::wasSetByUser(options::arraysConfig__option_t) const
35
{
36
  return d_holder->arraysConfig__setByUser__;
37
}
38
354
template <> void Options::set(
39
    options::arraysEagerIndexSplitting__option_t,
40
    const options::arraysEagerIndexSplitting__option_t::type& x)
41
{
42
354
  d_holder->arraysEagerIndexSplitting = x;
43
354
}
44
16331
template <> const options::arraysEagerIndexSplitting__option_t::type& Options::operator[](
45
    options::arraysEagerIndexSplitting__option_t) const
46
{
47
16331
  return d_holder->arraysEagerIndexSplitting;
48
}
49
8997
template <> bool Options::wasSetByUser(options::arraysEagerIndexSplitting__option_t) const
50
{
51
8997
  return d_holder->arraysEagerIndexSplitting__setByUser__;
52
}
53
template <> void Options::set(
54
    options::arraysEagerLemmas__option_t,
55
    const options::arraysEagerLemmas__option_t::type& x)
56
{
57
  d_holder->arraysEagerLemmas = x;
58
}
59
149505
template <> const options::arraysEagerLemmas__option_t::type& Options::operator[](
60
    options::arraysEagerLemmas__option_t) const
61
{
62
149505
  return d_holder->arraysEagerLemmas;
63
}
64
template <> bool Options::wasSetByUser(options::arraysEagerLemmas__option_t) const
65
{
66
  return d_holder->arraysEagerLemmas__setByUser__;
67
}
68
template <> void Options::set(
69
    options::arraysExp__option_t,
70
    const options::arraysExp__option_t::type& x)
71
{
72
  d_holder->arraysExp = x;
73
}
74
9014
template <> const options::arraysExp__option_t::type& Options::operator[](
75
    options::arraysExp__option_t) const
76
{
77
9014
  return d_holder->arraysExp;
78
}
79
template <> bool Options::wasSetByUser(options::arraysExp__option_t) const
80
{
81
  return d_holder->arraysExp__setByUser__;
82
}
83
template <> void Options::set(
84
    options::arraysModelBased__option_t,
85
    const options::arraysModelBased__option_t::type& x)
86
{
87
  d_holder->arraysModelBased = x;
88
}
89
template <> const options::arraysModelBased__option_t::type& Options::operator[](
90
    options::arraysModelBased__option_t) const
91
{
92
  return d_holder->arraysModelBased;
93
}
94
template <> bool Options::wasSetByUser(options::arraysModelBased__option_t) const
95
{
96
  return d_holder->arraysModelBased__setByUser__;
97
}
98
3918
template <> void Options::set(
99
    options::arraysOptimizeLinear__option_t,
100
    const options::arraysOptimizeLinear__option_t::type& x)
101
{
102
3918
  d_holder->arraysOptimizeLinear = x;
103
3918
}
104
38448
template <> const options::arraysOptimizeLinear__option_t::type& Options::operator[](
105
    options::arraysOptimizeLinear__option_t) const
106
{
107
38448
  return d_holder->arraysOptimizeLinear;
108
}
109
template <> bool Options::wasSetByUser(options::arraysOptimizeLinear__option_t) const
110
{
111
  return d_holder->arraysOptimizeLinear__setByUser__;
112
}
113
template <> void Options::set(
114
    options::arraysPropagate__option_t,
115
    const options::arraysPropagate__option_t::type& x)
116
{
117
  d_holder->arraysPropagate = x;
118
}
119
59998
template <> const options::arraysPropagate__option_t::type& Options::operator[](
120
    options::arraysPropagate__option_t) const
121
{
122
59998
  return d_holder->arraysPropagate;
123
}
124
template <> bool Options::wasSetByUser(options::arraysPropagate__option_t) const
125
{
126
  return d_holder->arraysPropagate__setByUser__;
127
}
128
template <> void Options::set(
129
    options::arraysReduceSharing__option_t,
130
    const options::arraysReduceSharing__option_t::type& x)
131
{
132
  d_holder->arraysReduceSharing = x;
133
}
134
1932
template <> const options::arraysReduceSharing__option_t::type& Options::operator[](
135
    options::arraysReduceSharing__option_t) const
136
{
137
1932
  return d_holder->arraysReduceSharing;
138
}
139
template <> bool Options::wasSetByUser(options::arraysReduceSharing__option_t) const
140
{
141
  return d_holder->arraysReduceSharing__setByUser__;
142
}
143
template <> void Options::set(
144
    options::arraysWeakEquivalence__option_t,
145
    const options::arraysWeakEquivalence__option_t::type& x)
146
{
147
  d_holder->arraysWeakEquivalence = x;
148
}
149
110361
template <> const options::arraysWeakEquivalence__option_t::type& Options::operator[](
150
    options::arraysWeakEquivalence__option_t) const
151
{
152
110361
  return d_holder->arraysWeakEquivalence;
153
}
154
template <> bool Options::wasSetByUser(options::arraysWeakEquivalence__option_t) const
155
{
156
  return d_holder->arraysWeakEquivalence__setByUser__;
157
}
158
159
160
namespace options {
161
162
thread_local struct arraysConfig__option_t arraysConfig;
163
thread_local struct arraysEagerIndexSplitting__option_t arraysEagerIndexSplitting;
164
thread_local struct arraysEagerLemmas__option_t arraysEagerLemmas;
165
thread_local struct arraysExp__option_t arraysExp;
166
thread_local struct arraysModelBased__option_t arraysModelBased;
167
thread_local struct arraysOptimizeLinear__option_t arraysOptimizeLinear;
168
thread_local struct arraysPropagate__option_t arraysPropagate;
169
thread_local struct arraysReduceSharing__option_t arraysReduceSharing;
170
thread_local struct arraysWeakEquivalence__option_t arraysWeakEquivalence;
171
172
173
174
}  // namespace options
175
26685
}  // namespace CVC4