1 /********************* */
4 ** Original author: Morgan Deters
5 ** Major contributors: none
6 ** Minor contributors (to current version): none
7 ** This file is part of the CVC4 project.
8 ** Copyright (c) 2009-2014 New York University and The University of Iowa
9 ** See the file COPYING in the top-level source directory for licensing
10 ** information.\endverbatim
12 ** \brief A hash function for Boolean
14 ** A hash function for Boolean.
17 #include "cvc4_public.h"
19 #ifndef __CVC4__BOOL_H
20 #define __CVC4__BOOL_H
24 struct BoolHashFunction
{
25 inline size_t operator()(bool b
) const {
28 };/* struct BoolHashFunction */
32 #endif /* __CVC4__BOOL_H */