GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/fp_options.h Lines: 2 2 100.0 %
Date: 2021-03-23 Branches: 0 0 0.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file module_template.h
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 Contains code for handling command-line options.
13
 **
14
 ** For each <module>_options.toml configuration file, mkoptions.py
15
 ** expands this template and generates a <module>_options.h file.
16
 **/
17
18
#include "cvc4_private.h"
19
20
#ifndef CVC4__OPTIONS__FP_H
21
#define CVC4__OPTIONS__FP_H
22
23
#include "options/options.h"
24
25
26
27
28
#define CVC4_OPTIONS__FP__FOR_OPTION_HOLDER \
29
  fpExp__option_t::type fpExp;\
30
  bool fpExp__setByUser__;
31
32
33
namespace CVC4 {
34
35
namespace options {
36
37
38
39
extern struct fpExp__option_t
40
{
41
  typedef bool type;
42
  type operator()() const;
43
  bool wasSetByUser() const;
44
  void set(const type& v);
45
  const char* getName() const;
46
} thread_local fpExp;
47
48
}  // namespace options
49
50
template <> void Options::set(
51
    options::fpExp__option_t,
52
    const options::fpExp__option_t::type& x);
53
template <> const options::fpExp__option_t::type& Options::operator[](
54
    options::fpExp__option_t) const;
55
template <> bool Options::wasSetByUser(options::fpExp__option_t) const;
56
template <> void Options::assignBool(
57
    options::fpExp__option_t,
58
    std::string option,
59
    bool value);
60
61
62
namespace options {
63
64
2636
inline fpExp__option_t::type fpExp__option_t::operator()() const
65
{
66
2636
  return (*Options::current())[*this];
67
}
68
inline bool fpExp__option_t::wasSetByUser() const
69
{
70
  return Options::current()->wasSetByUser(*this);
71
}
72
inline void fpExp__option_t::set(const fpExp__option_t::type& v)
73
{
74
  Options::current()->set(*this, v);
75
}
76
inline const char* fpExp__option_t::getName() const
77
{
78
  return "fp-exp";
79
}
80
81
}  // namespace options
82
}  // namespace CVC4
83
84
#endif /* CVC4__OPTIONS__FP_H */