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
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head><meta http-equiv="Content-Type" content="text/html;charset=utf-8">
<title>$title</title>
<link href="doxygen.css" rel="stylesheet" type="text/css">
<link href="stylesheet.css" rel="stylesheet" type="text/css">
<!--[if IE]><style type="text/css">
@media screen {
html, body {
height: 100%; overflow-y: hidden;
background:#FFFFFF url(back.png) repeat-y;
font-family:Arial,Helvetica,sans-serif;
color:#000000;
margin:0;
padding:0;
}
#scrollable {
height: 100%; width: 100%; overflow: auto;
}
}
</style><![endif]-->
</head>
<body>
<div id="logo">
<img src='gecode-logo-100.png' alt="Gecode logo" /></div>
<div id="navigation">
<div id="navigation2">
<a class="navigation" href="index.html">main page</a>
<a class="navigation" href="modules.html">modules</a>
<a class="navigation" href="namespaces.html">namespaces</a>
<a class="navigation" href="annotated.html">classes</a>
<a class="navigation" href="files.html">files</a>
<br>
<a class="navigation" href="http://www.gecode.org/index.html">Gecode home</a>
<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>
</div>
</div>
<div id="footline">
<address style="text-align: right;"><small>
Generated on $datetime for $projectname by <a href="http://www.doxygen.org/index.html">doxygen</a> $doxygenversion</small></address>
</div>
<script type="text/javascript">
function showInfo(i, show) {
var moreinfo = "moreinfo"+i;
var morelink = "morelink"+i;
var lesslink = "lesslink"+i;
var linkstyle = "inline";
var infostyle = "block";
if (show) {
document.getElementById(lesslink).style.display="none";
document.getElementById(morelink).style.display=linkstyle;
document.getElementById(moreinfo).style.display=infostyle;
} else {
document.getElementById(lesslink).style.display=linkstyle;
document.getElementById(morelink).style.display="none";
document.getElementById(moreinfo).style.display="none";
}
}
</script>
<div id="scrollable">
<div id="content">
|
