bool.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__BOOL_H
#define __CVC4__BOOL_H
namespace CVC4 {
struct BoolHashFunction {
inline size_t operator()(bool b) const {
return b;
}
};/* struct BoolHashFunction */
}/* CVC4 namespace */
#endif /* __CVC4__BOOL_H */
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4
Definition expr.h:106
CVC4::BoolHashFunction
Definition bool.h:24
CVC4::BoolHashFunction::operator()
size_t operator()(bool b) const
Definition bool.h:25