GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/prop_options.cpp Lines: 24 49 49.0 %
Date: 2021-03-22 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
12417
template <> const options::minisatDumpDimacs__option_t::type& Options::operator[](
24
    options::minisatDumpDimacs__option_t) const
25
{
26
12417
  return d_holder->minisatDumpDimacs;
27
}
28
template <> bool Options::wasSetByUser(options::minisatDumpDimacs__option_t) const
29
{
30
  return d_holder->minisatDumpDimacs__setByUser__;
31
}
32
7238
template <> void Options::set(
33
    options::minisatUseElim__option_t,
34
    const options::minisatUseElim__option_t::type& x)
35
{
36
7238
  d_holder->minisatUseElim = x;
37
7238
}
38
26968
template <> const options::minisatUseElim__option_t::type& Options::operator[](
39
    options::minisatUseElim__option_t) const
40
{
41
26968
  return d_holder->minisatUseElim;
42
}
43
10759
template <> bool Options::wasSetByUser(options::minisatUseElim__option_t) const
44
{
45
10759
  return d_holder->minisatUseElim__setByUser__;
46
}
47
12417
template <> const options::satRandomFreq__option_t::type& Options::operator[](
48
    options::satRandomFreq__option_t) const
49
{
50
12417
  return d_holder->satRandomFreq;
51
}
52
template <> bool Options::wasSetByUser(options::satRandomFreq__option_t) const
53
{
54
  return d_holder->satRandomFreq__setByUser__;
55
}
56
template <> void Options::set(
57
    options::satRandomSeed__option_t,
58
    const options::satRandomSeed__option_t::type& x)
59
{
60
  d_holder->satRandomSeed = x;
61
}
62
12417
template <> const options::satRandomSeed__option_t::type& Options::operator[](
63
    options::satRandomSeed__option_t) const
64
{
65
12417
  return d_holder->satRandomSeed;
66
}
67
template <> bool Options::wasSetByUser(options::satRandomSeed__option_t) const
68
{
69
  return d_holder->satRandomSeed__setByUser__;
70
}
71
58024
template <> const options::sat_refine_conflicts__option_t::type& Options::operator[](
72
    options::sat_refine_conflicts__option_t) const
73
{
74
58024
  return d_holder->sat_refine_conflicts;
75
}
76
template <> bool Options::wasSetByUser(options::sat_refine_conflicts__option_t) const
77
{
78
  return d_holder->sat_refine_conflicts__setByUser__;
79
}
80
12417
template <> const options::satRestartFirst__option_t::type& Options::operator[](
81
    options::satRestartFirst__option_t) const
82
{
83
12417
  return d_holder->satRestartFirst;
84
}
85
template <> bool Options::wasSetByUser(options::satRestartFirst__option_t) const
86
{
87
  return d_holder->satRestartFirst__setByUser__;
88
}
89
12417
template <> const options::satRestartInc__option_t::type& Options::operator[](
90
    options::satRestartInc__option_t) const
91
{
92
12417
  return d_holder->satRestartInc;
93
}
94
template <> bool Options::wasSetByUser(options::satRestartInc__option_t) const
95
{
96
  return d_holder->satRestartInc__setByUser__;
97
}
98
template <> void Options::set(
99
    options::satClauseDecay__option_t,
100
    const options::satClauseDecay__option_t::type& x)
101
{
102
  d_holder->satClauseDecay = x;
103
}
104
12417
template <> const options::satClauseDecay__option_t::type& Options::operator[](
105
    options::satClauseDecay__option_t) const
106
{
107
12417
  return d_holder->satClauseDecay;
108
}
109
template <> bool Options::wasSetByUser(options::satClauseDecay__option_t) const
110
{
111
  return d_holder->satClauseDecay__setByUser__;
112
}
113
template <> void Options::set(
114
    options::satVarDecay__option_t,
115
    const options::satVarDecay__option_t::type& x)
116
{
117
  d_holder->satVarDecay = x;
118
}
119
12417
template <> const options::satVarDecay__option_t::type& Options::operator[](
120
    options::satVarDecay__option_t) const
121
{
122
12417
  return d_holder->satVarDecay;
123
}
124
template <> bool Options::wasSetByUser(options::satVarDecay__option_t) const
125
{
126
  return d_holder->satVarDecay__setByUser__;
127
}
128
129
130
namespace options {
131
132
thread_local struct minisatDumpDimacs__option_t minisatDumpDimacs;
133
thread_local struct minisatUseElim__option_t minisatUseElim;
134
thread_local struct satRandomFreq__option_t satRandomFreq;
135
thread_local struct satRandomSeed__option_t satRandomSeed;
136
thread_local struct sat_refine_conflicts__option_t sat_refine_conflicts;
137
thread_local struct satRestartFirst__option_t satRestartFirst;
138
thread_local struct satRestartInc__option_t satRestartInc;
139
thread_local struct satClauseDecay__option_t satClauseDecay;
140
thread_local struct satVarDecay__option_t satVarDecay;
141
142
143
144
}  // namespace options
145
26676
}  // namespace CVC4