cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
bool.h
Go to the documentation of this file.
1
/********************* */
17
#include "
cvc4_public.h
"
18
19
#ifndef __CVC4__BOOL_H
20
#define __CVC4__BOOL_H
21
22
namespace
CVC4
{
23
24
struct
BoolHashFunction
{
25
inline
size_t
operator()
(
bool
b)
const
{
26
return
b;
27
}
28
};
/* struct BoolHashFunction */
29
30
}
/* CVC4 namespace */
31
32
#endif
/* __CVC4__BOOL_H */
CVC4
Definition:
statistics.h:31
CVC4::BoolHashFunction
Definition:
bool.h:24
CVC4::BoolHashFunction::operator()
size_t operator()(bool b) const
Definition:
bool.h:25
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
src
util
bool.h
Generated by
1.8.11