--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/cl-ggp/_dmedia/style.css Mon Jan 15 15:26:35 2018 -0500
@@ -0,0 +1,155 @@
+html {
+ overflow-y: scroll;
+}
+.wrap {
+ width: 600px;
+ margin: 40px auto 180px;
+}
+body {
+ font-size: 18px;
+ line-height: 1.4;
+ font-family: Georgia, Palatino, "Palatino Linotype", serif;
+ color: #111111;
+}
+a {
+ text-decoration: none;
+ color: #0069d6;
+}
+h1,
+h2,
+h3,
+h4,
+h5 {
+ font-family: Palatino, "Palatino Linotype", serif;
+}
+h1 a,
+h2 a,
+h3 a,
+h4 a,
+h5 a {
+ color: #111111;
+}
+h1 a:hover,
+h2 a:hover,
+h3 a:hover,
+h4 a:hover,
+h5 a:hover {
+ color: #0069d6;
+}
+h1 {
+ font-size: 48px;
+ line-height: 1;
+}
+h2 {
+ font-size: 34px;
+ line-height: 1;
+ margin-top: 40px;
+ margin-bottom: 0;
+}
+h2 code {
+ font-size: 34px;
+ border: none;
+ background: #fff4f4;
+ padding: 0px 5px;
+}
+h3 {
+ font-size: 26px;
+ line-height: 1;
+ margin-top: 40px;
+ margin-bottom: 0;
+}
+h3 code {
+ font-size: 24px;
+ border: none;
+ background: #fff4f4;
+ padding: 0px 5px;
+}
+h4 {
+ font-size: 20px;
+ line-height: 1;
+ margin-top: 30px;
+ margin-bottom: 0;
+}
+h4 code {
+ font-size: 18px;
+ border: none;
+ background: #fff4f4;
+ padding: 0px 5px;
+}
+h5 {
+ font-size: 16px;
+ line-height: 1;
+ margin-top: 18px;
+ margin-bottom: 0;
+}
+h5 code {
+ font-size: 14px;
+ border: none;
+ background: #fff4f4;
+ padding: 0px 5px;
+}
+pre {
+ font-size: 15px;
+ line-height: 1.3;
+ white-space: pre;
+ overflow-x: auto;
+ border: 1px solid #fdd;
+ background: #fffafa;
+ padding: 10px 10px;
+ font-family: Menlo, Monaco, Consolas, monospace;
+}
+code {
+ font-size: 15px;
+ border: 1px solid #fdd;
+ background: #fffafa;
+ padding: 1px 4px;
+ font-family: Menlo, Monaco, Consolas, monospace;
+}
+ol,
+ul {
+ margin-bottom: 9px;
+}
+footer {
+ margin-top: 36px;
+ border-top: 1px solid #eee;
+ text-align: center;
+}
+body.index header {
+ text-align: center;
+}
+body.index header h1 {
+ font-size: 56px;
+ margin-bottom: 40px;
+}
+body.index h2 {
+ font-size: 28px;
+}
+body.index ol.toc {
+ list-style-type: none;
+ margin-left: 0;
+ margin-left: 0px;
+ padding-left: 0px;
+}
+body.content header {
+ float: right;
+ position: relative;
+ min-width: 150px;
+}
+body.content header h1 {
+ text-align: right;
+ font-size: 24px;
+ line-height: 1;
+ margin-top: 0px;
+}
+body.content .toc ul {
+ list-style-type: none;
+ margin-left: 0px;
+ padding-left: 0px;
+}
+body.content .toc ul ul {
+ margin-left: 20px;
+ margin-bottom: 0;
+}
+body.content img {
+ max-width: 500px;
+}
--- a/cl-ggp/index.html Mon Jan 15 15:25:48 2018 -0500
+++ b/cl-ggp/index.html Mon Jan 15 15:26:35 2018 -0500
@@ -4,8 +4,7 @@
<meta charset="utf-8" />
<title>cl-ggp</title>
<link rel="stylesheet" href="./_dmedia/pygments-clean.css"/>
- <link rel="stylesheet/less" type="text/css" href="./_dmedia/style.less">
- <script src="./_dmedia/less.js" type="text/javascript">
+ <link rel="stylesheet" href="./_dmedia/style.css"/>
</script>
</head>
<body class="index">
--- a/cl-ggp/reference-reasoner/index.html Mon Jan 15 15:25:48 2018 -0500
+++ b/cl-ggp/reference-reasoner/index.html Mon Jan 15 15:26:35 2018 -0500
@@ -21,6 +21,7 @@
<li><a href="#legal-moves-for-function">LEGAL-MOVES-FOR (function)</a></li>
<li><a href="#make-reasoner-function">MAKE-REASONER (function)</a></li>
<li><a href="#next-state-function">NEXT-STATE (function)</a></li>
+<li><a href="#roles-function">ROLES (function)</a></li>
<li><a href="#terminalp-function">TERMINALP (function)</a></li>
</ul>
</li>
@@ -67,6 +68,12 @@
<p>Compute and return the successor to <code>state</code>, assuming <code>moves</code> were made.</p>
<p><code>moves</code> should be an alist of <code>(role . move)</code> pairs, which is what
<code>ggp:player-update-game</code> will give you.</p>
+<h3 id="roles-function"><code>ROLES</code> (function)</h3>
+<div class="codehilite"><pre><span/>(ROLES REASONER)
+</pre></div>
+
+
+<p>Return a fresh list of all the roles of <code>reasoner</code>.</p>
<h3 id="terminalp-function"><code>TERMINALP</code> (function)</h3>
<div class="codehilite"><pre><span/>(TERMINALP REASONER STATE)
</pre></div>