Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library
util_funcs.h
1 
2 
3 /*************************************************************
4 
5 This file is part of ben-jose.
6 
7 ben-jose is free software: you can redistribute it and/or modify
8 it under the terms of the version 3 of the GNU General Public
9 License as published by the Free Software Foundation.
10 
11 ben-jose is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15 
16 You should have received a copy of the GNU General Public License
17 along with ben-jose. If not, see <http://www.gnu.org/licenses/>.
18 
19 ------------------------------------------------------------
20 
21 Copyright (C) 2007-2012, 2014-2016. QUIROGA BELTRAN, Jose Luis.
22 Id (cedula): 79523732 de Bogota - Colombia.
23 See https://github.com/joseluisquiroga/ben-jose
24 
25 ben-jose is free software thanks to The Glory of Our Lord
26  Yashua Melej Hamashiaj.
27 Our Resurrected and Living, both in Body and Spirit,
28  Prince of Peace.
29 
30 ------------------------------------------------------------
31 
32 util_funcs.h
33 
34 util funcs.
35 
36 --------------------------------------------------------------*/
37 
38 #ifndef UTIL_FUNCS_H
39 #define UTIL_FUNCS_H
40 
41 #include "ch_string.h"
42 #include "tak_mak.h"
43 #include "tools.h"
44 #include "sha2.h"
45 
46 #define NUM_LONG_SHA2 (NUM_BYTES_SHA2/sizeof(long))
47 #define NUM_BYTES_MINSHA 5
48 #define NUM_BITS_MINSHA (NUM_BYTES_MINSHA * 8)
49 
50 ch_string long_to_str(long val);
51 ch_string sha_to_minsha(row<uchar_t>& sha_rr);
52 
53 void sha_bytes_of_arr(uchar_t* to_sha, long to_sha_sz, row<uchar_t>& the_sha);
54 ch_string sha_txt_of_arr(uchar_t* to_sha, long to_sha_sz);
55 
56 #endif // UTIL_FUNCS_H
57 
58 
Generated on Fri Jun 16 2017 16:56:09 for Doxygen-Documentation by   doxygen 1.8.11