-
Notifications
You must be signed in to change notification settings - Fork 225
Expand file tree
/
Copy pathindex.html
More file actions
53 lines (46 loc) · 1.16 KB
/
index.html
File metadata and controls
53 lines (46 loc) · 1.16 KB
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
<!DOCTYPE html>
<html lang="en">
<head>
<title>7 Logical Agents </title>
<link rel="stylesheet" href="../styles.css">
<script src="http://code.jquery.com/jquery-1.12.4.js"></script>
<script src="https://d3js.org/d3.v4.min.js"></script>
<script type="text/javascript" src="../main.js"></script>
<script type="text/javascript" src="./logicalAgent.js"></script>
<script type="text/javascript" src="./c_logicalAgent.js"></script>
<script type="text/javascript" src="../third-party/mousetrap.min.js"></script>
<script>
$(function(){
$('header').load("../header.html");
});
</script>
<style type="text/css">
#wumpus_world .info {
fill: #ddd;
}
#wumpus_world rect.square {
fill: #ddd;
stroke-width: 1px;
stroke: black;
}
#wumpus_world circle.player {
fill: green;
}
#wumpus_world circle.wumpus {
fill: red;
}
#wumpus_world circle.gold {
fill: gold;
}
</style>
</head>
<body>
<div class="row">
<div class="col-sm-6 col-md-offset-3" id="content">
<h1>Logical Agents</h1>
<h2>Wumpus World</h2>
<div id="wumpus_world"></div>
</div>
</div>
</body>
</html>