Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library
html_strings.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 dbg_strings_html.h
33 
34 some strings for html printing.
35 
36 --------------------------------------------------------------*/
37 
38 #ifndef STR_HTML_H
39 #define STR_HTML_H
40 
41 #define HTMi_html "<html>"
42 #define HTMe_html "</html>"
43 #define HTMi_title "<title>"
44 #define HTMe_title "</title>"
45 #define HTMi_head "<head>"
46 #define HTMe_head "</head>"
47 #define HTMi_body "<body>"
48 #define HTMe_body "</body>"
49 #define HTMi_h1 "<H1>"
50 #define HTMe_h1 "</H1>"
51 #define HTMi_h2 "<H2>"
52 #define HTMe_h2 "</H2>"
53 #define HTMi_h3 "<H3>"
54 #define HTMe_h3 "</H3>"
55 #define HTMi_p "<p>"
56 #define HTMe_p "</p>"
57 #define HTMi_js "<!-- inject:js -->"
58 #define HTMe_js "<!-- endinject:js -->"
59 
60 #define HTMi_src "<script src='"
61 #define HTMe_src "'></script>"
62 #define HTMi_script "<script>"
63 #define HTMe_script "</script>"
64 #define HTMi_pre "<pre>"
65 #define HTMe_pre "</pre>"
66 #define HTMi_style "<style>"
67 #define HTMe_style "</style>"
68 
69 #define HTM_word_wrap_css3 "white-space: pre-wrap; /* css-3 */"
70 #define HTM_word_wrap_mozilla "white-space: -moz-pre-wrap; /* Mozilla, since 1999 */"
71 #define HTM_word_wrap_opera4 "white-space: -pre-wrap; /* Opera 4-6 */"
72 #define HTM_word_wrap_opera7 "white-space: -o-pre-wrap; /* Opera 7 */"
73 #define HTM_word_wrap_ie "word-wrap: break-word; /* Internet Explorer 5.5+ */"
74 
75 #define HTM_div(nm_dv) "<div id='" + nm_dv + "'></div>"
76 
77 #define HTM_cy_div(nm_dv) "<div id='" + nm_dv + \
78  "' style='height:600px;width:800px;border:1px solid #777;'></div>" \
79 
80 // end_of_define
81 
82 #define HTM_cy_hidden_div(nm_dv) "<div id='" + nm_dv + \
83  "' style='height:600px;width:800px;border:1px solid #777;display: none;'></div>" \
84 
85 // end_of_define
86 
87 #define JS_inner_htm(div_txt, var_htm_txt) "document.getElementById('" + \
88  div_txt + "').innerHTML = " + var_htm_txt + ";" \
89 
90 // end_of_define
91 
92 #define HTM_br "<br>\n"
93 
94 #define HTM_css(dir) \
95  "<link rel='stylesheet' type='text/css' \n\t\t\t href='./" + dir \
96  + "/sw_proof.css' media='screen' />" \
97 
98 // end_of_define
99 
100 #define HTMi_proof_ul "<ul class='collapsibleList'>"
101 #define HTMe_proof_ul "</ul>"
102 
103 #define HTM_proof_li(nd_id, nd_lst, jsn_file, lbl_str) \
104  "\t\t <li>\n" \
105  "\t\t <label for='" + nd_id + "' \n" + \
106  "\t\t\t onclick=\"populate_ul('" + nd_lst + "', './"+ jsn_file + "')\">\n" + \
107  "\t\t\t " + lbl_str + "\n" + \
108  "\t\t </label> \n" + \
109  "\t\t <input type='checkbox' id='" + nd_id + "' />\n" + \
110  "\t\t <ul id='" + nd_lst + "'>\n" + \
111  "\t\t </ul>\n" \
112  "\t\t </li>\n" \
113 
114 // end_of_define
115 
116 
117 #endif // STR_HTML_H
118 
119 
Generated on Fri Jun 16 2017 16:56:09 for Doxygen-Documentation by   doxygen 1.8.11