this repo has no description
dekker.one
1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2<html><head><meta http-equiv="Content-Type" content="text/html;charset=iso-8859-1">
3<title>$title</title>
4<link href="$relpath$stylesheet.css" rel="stylesheet" type="text/css">
5<!--[if IE]><style type="text/css">
6 @media screen {
7 html, body {
8 height: 100%; overflow-y: hidden;
9 background:#FFFFFF url(back.png) repeat-y;
10 font-family:Arial,Helvetica,sans-serif;
11 color:#000000;
12 margin:0;
13 padding:0;
14 }
15 #scrollable {
16 height: 100%; width: 100%; overflow: auto;
17 }
18 }
19</style><![endif]-->
20</head>
21
22<body>
23
24<div id="logo">
25<img src='$relpath$gecode-logo-100.png' alt="Gecode logo" /></div>
26
27<div id="navigation">
28 <div id="navigation2">
29 <a class="navigation" href="index.html">main page</a>
30 <a class="navigation" href="modules.html">modules</a>
31 <a class="navigation" href="namespaces.html">namespaces</a>
32 <a class="navigation" href="annotated.html">classes</a>
33 <a class="navigation" href="files.html">files</a>
34 <br>
35 <a class="navigation" href="http://www.gecode.org/index.html">Gecode home</a>
36<form action="search.php" method="get"><a class="navigation" title="Search for keywords in the entire documentation">search for <input type="text" name="query" value="" size="20" accesskey="s"/></a></form>
37 </div>
38</div>
39
40<div id="footline">
41<address style="text-align: right;"><small>
42Generated on $datetime for $projectname by <a href="http://www.doxygen.org/index.html">doxygen</a> $doxygenversion</small></address>
43</div>
44
45 <script type="text/javascript">
46 function showInfo(i, show) {
47 var moreinfo = "moreinfo"+i;
48 var morelink = "morelink"+i;
49 var lesslink = "lesslink"+i;
50 var linkstyle = "inline";
51 var infostyle = "block";
52 if (show) {
53 document.getElementById(lesslink).style.display="none";
54 document.getElementById(morelink).style.display=linkstyle;
55 document.getElementById(moreinfo).style.display=infostyle;
56 } else {
57 document.getElementById(lesslink).style.display=linkstyle;
58 document.getElementById(morelink).style.display="none";
59 document.getElementById(moreinfo).style.display="none";
60 }
61 }
62 </script>
63
64
65<div id="scrollable">
66<div id="content">