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 
22 namespace 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 */
Definition: kind.h:57
Macros that should be defined everywhere during the building of the libraries and driver binary...
size_t operator()(bool b) const
Definition: bool.h:25