cvc4-1.4
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
22namespace CVC4 {
23
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 */
Macros that should be defined everywhere during the building of the libraries and driver binary,...
Definition expr.h:106
size_t operator()(bool b) const
Definition bool.h:25