This file is indexed.

/usr/include/cvc3/hash_fun.h is in libcvc3-dev 2.4.1-5.1ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
/*****************************************************************************/
/*!
 *\file hash_fun.h
 *\brief hash functions
 *
 * Author: Alexander Fuchs
 *
 * Created: Fri Oct 20 11:04:00 2006
 *
 * <hr>
 *
 * License to use, copy, modify, sell and/or distribute this software
 * and its documentation for any purpose is hereby granted without
 * royalty, subject to the terms and conditions defined in the \ref
 * LICENSE file provided with this distribution.
 * 
 * <hr>
 */
/*****************************************************************************/

/*
 * Copyright (c) 1996-1998
 * Silicon Graphics Computer Systems, Inc.
 *
 * Permission to use, copy, modify, distribute and sell this software
 * and its documentation for any purpose is hereby granted without fee,
 * provided that the above copyright notice appear in all copies and
 * that both that copyright notice and this permission notice appear
 * in supporting documentation.  Silicon Graphics makes no
 * representations about the suitability of this software for any
 * purpose.  It is provided "as is" without express or implied warranty.
 *
 *
 * Copyright (c) 1994
 * Hewlett-Packard Company
 *
 * Permission to use, copy, modify, distribute and sell this software
 * and its documentation for any purpose is hereby granted without fee,
 * provided that the above copyright notice appear in all copies and
 * that both that copyright notice and this permission notice appear
 * in supporting documentation.  Hewlett-Packard Company makes no
 * representations about the suitability of this software for any
 * purpose.  It is provided "as is" without express or implied warranty.
 *
 */

// this is basically (modulo renaming and namespace) the SGI implementation:
// http://www.sgi.com/tech/stl/stl_hash_fun.h

#ifndef _cvc3__hash__hash_fun_h_
#define _cvc3__hash__hash_fun_h_

// to get size_t
#include <cstddef>


namespace Hash {
  using std::size_t;

  template <class _Key> struct hash { };
  
  inline size_t __stl_hash_string(const char* __s)
  {
    unsigned long __h = 0; 
    for ( ; *__s; ++__s)
      __h = 5*__h + *__s;
    
    return size_t(__h);
  }
  
  template<> struct hash<char*> {
    size_t operator()(const char* __s) const { return __stl_hash_string(__s); }
  };

  template<> struct hash<const char*>
  {
    size_t operator()(const char* __s) const { return __stl_hash_string(__s); }
  };
  
  template<> struct hash<char> {
    size_t operator()(char __x) const { return __x; }
  };

  template<> struct hash<unsigned char> {
    size_t operator()(unsigned char __x) const { return __x; }
  };
  
  template<> struct hash<signed char> {
    size_t operator()(unsigned char __x) const { return __x; }
  };
  
  template<> struct hash<short> {
    size_t operator()(short __x) const { return __x; }
  };

  template<> struct hash<unsigned short> {
    size_t operator()(unsigned short __x) const { return __x; }
  };

  template<> struct hash<int> {
    size_t operator()(int __x) const { return __x; }
  };

  template<> struct hash<unsigned int> {
    size_t operator()(unsigned int __x) const { return __x; }
  };

  template<> struct hash<long> {
    size_t operator()(long __x) const { return __x; }
  };

  template<> struct hash<unsigned long> {
    size_t operator()(unsigned long __x) const { return __x; }
  };

}

#endif