Skip to content

Commit

Permalink
Sync website for native with Kappa-Dev/KaSim@
Browse files Browse the repository at this point in the history
  • Loading branch information
@KappaBot
KappaBot committed Mar 28, 2024
1 parent 75fa578 commit c0ccc4c
Show file tree
Hide file tree
Showing 2 changed files with 15 additions and 15 deletions.
4 changes: 2 additions & 2 deletions docs/KaSim-API-/Kappa_site_graphs/Signature/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Signature (kappa-library.Kappa_site_graphs.Signature)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">kappa-library</a> &#x00BB; <a href="../index.html">Kappa_site_graphs</a> &#x00BB; Signature</nav><header class="odoc-preamble"><h1>Module <code><span>Kappa_site_graphs.Signature</span></code></h1><p>Store definitions of agents</p></header><nav class="odoc-toc"><ul><li><a href="#counter-specific">Counter specific</a></li><li><a href="#i/o">I/O</a></li></ul></nav><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-site_sig"><a href="#type-site_sig" class="anchor"></a><code><span><span class="keyword">type</span> <span>'links site_sig</span></span><span> = </span><span>{</span></code><ol><li id="type-site_sig.internal_state" class="def record field anchored"><a href="#type-site_sig.internal_state" class="anchor"></a><code><span>internal_state : <span>unit <a href="../../Kappa_data_structures/NamedDecls/index.html#type-t">Kappa_data_structures.NamedDecls.t</a></span>;</span></code></li><li id="type-site_sig.links" class="def record field anchored"><a href="#type-site_sig.links" class="anchor"></a><code><span>links : <span><span class="type-var">'links</span> option</span>;</span></code></li><li id="type-site_sig.counters_info" class="def record field anchored"><a href="#type-site_sig.counters_info" class="anchor"></a><code><span>counters_info : <span><span>(int * int)</span> option</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>If relevant: counter CEQ value * counter delta</p><span class="comment-delim">*)</span></div></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span><span><span><span>bool array</span> array</span> <a href="#type-site_sig">site_sig</a></span> <a href="../../Kappa_data_structures/NamedDecls/index.html#type-t">Kappa_data_structures.NamedDecls.t</a></span></span></code></div><div class="spec-doc"><p>Store of one agent signature</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-num_of_site"><a href="#val-num_of_site" class="anchor"></a><code><span><span class="keyword">val</span> num_of_site :
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Signature (kappa-library.Kappa_site_graphs.Signature)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">kappa-library</a> &#x00BB; <a href="../index.html">Kappa_site_graphs</a> &#x00BB; Signature</nav><header class="odoc-preamble"><h1>Module <code><span>Kappa_site_graphs.Signature</span></code></h1><p>Store definitions of agents</p></header><nav class="odoc-toc"><ul><li><a href="#counter-specific">Counter specific</a></li><li><a href="#i/o">I/O</a></li></ul></nav><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-counter_info"><a href="#type-counter_info" class="anchor"></a><code><span><span class="keyword">type</span> counter_info</span><span> = </span><span>{</span></code><ol><li id="type-counter_info.counter_info_min" class="def record field anchored"><a href="#type-counter_info.counter_info_min" class="anchor"></a><code><span>counter_info_min : <span>int option</span>;</span></code></li><li id="type-counter_info.counter_info_max" class="def record field anchored"><a href="#type-counter_info.counter_info_max" class="anchor"></a><code><span>counter_info_max : <span>int option</span>;</span></code></li><li id="type-counter_info.counter_default_value" class="def record field anchored"><a href="#type-counter_info.counter_default_value" class="anchor"></a><code><span>counter_default_value : int;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-site_sig"><a href="#type-site_sig" class="anchor"></a><code><span><span class="keyword">type</span> <span>'links site_sig</span></span><span> = </span><span>{</span></code><ol><li id="type-site_sig.internal_state" class="def record field anchored"><a href="#type-site_sig.internal_state" class="anchor"></a><code><span>internal_state : <span>unit <a href="../../Kappa_data_structures/NamedDecls/index.html#type-t">Kappa_data_structures.NamedDecls.t</a></span>;</span></code></li><li id="type-site_sig.links" class="def record field anchored"><a href="#type-site_sig.links" class="anchor"></a><code><span>links : <span><span class="type-var">'links</span> option</span>;</span></code></li><li id="type-site_sig.counter_info" class="def record field anchored"><a href="#type-site_sig.counter_info" class="anchor"></a><code><span>counter_info : <span><a href="#type-counter_info">counter_info</a> option</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>If relevant: counter CEQ value * counter delta</p><span class="comment-delim">*)</span></div></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span><span><span><span>bool array</span> array</span> <a href="#type-site_sig">site_sig</a></span> <a href="../../Kappa_data_structures/NamedDecls/index.html#type-t">Kappa_data_structures.NamedDecls.t</a></span></span></code></div><div class="spec-doc"><p>Store of one agent signature</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-num_of_site"><a href="#val-num_of_site" class="anchor"></a><code><span><span class="keyword">val</span> num_of_site :
<span><span class="optlabel">?agent_name</span>:string <span class="arrow">&#45;&gt;</span></span>
<span><span>string <a href="../../Kappa_data_structures/Loc/index.html#type-annoted">Kappa_data_structures.Loc.annoted</a></span> <span class="arrow">&#45;&gt;</span></span>
<span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span>
int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-site_of_num"><a href="#val-site_of_num" class="anchor"></a><code><span><span class="keyword">val</span> site_of_num : <span>int <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fold"><a href="#val-fold" class="anchor"></a><code><span><span class="keyword">val</span> fold : <span><span>(<span>int <span class="arrow">&#45;&gt;</span></span> <span>string <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-num_of_internal_state"><a href="#val-num_of_internal_state" class="anchor"></a><code><span><span class="keyword">val</span> num_of_internal_state :
<span>int <span class="arrow">&#45;&gt;</span></span>
<span><span>string <a href="../../Kappa_data_structures/Loc/index.html#type-annoted">Kappa_data_structures.Loc.annoted</a></span> <span class="arrow">&#45;&gt;</span></span>
<span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span>
int</span></code></div><div class="spec-doc"><p><code>num_of_internal_state site_id state_name signature</code></p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-internal_state_of_site_id"><a href="#val-internal_state_of_site_id" class="anchor"></a><code><span><span class="keyword">val</span> internal_state_of_site_id : <span>int <span class="arrow">&#45;&gt;</span></span> <span>int <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div><div class="spec-doc"><p><code>internal_state_of_site_id site_id value_id signature</code></p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-counter_of_site_id"><a href="#val-counter_of_site_id" class="anchor"></a><code><span><span class="keyword">val</span> counter_of_site_id : <span>int <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(int * int)</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-has_counter"><a href="#val-has_counter" class="anchor"></a><code><span><span class="keyword">val</span> has_counter : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-s"><a href="#type-s" class="anchor"></a><code><span><span class="keyword">type</span> s</span></code></div><div class="spec-doc"><p>Store of all the agents, s as a plural</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create :
int</span></code></div><div class="spec-doc"><p><code>num_of_internal_state site_id state_name signature</code></p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-internal_state_of_site_id"><a href="#val-internal_state_of_site_id" class="anchor"></a><code><span><span class="keyword">val</span> internal_state_of_site_id : <span>int <span class="arrow">&#45;&gt;</span></span> <span>int <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div><div class="spec-doc"><p><code>internal_state_of_site_id site_id value_id signature</code></p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-counter_of_site_id"><a href="#val-counter_of_site_id" class="anchor"></a><code><span><span class="keyword">val</span> counter_of_site_id : <span>int <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-counter_info">counter_info</a> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-has_counter"><a href="#val-has_counter" class="anchor"></a><code><span><span class="keyword">val</span> has_counter : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-s"><a href="#type-s" class="anchor"></a><code><span><span class="keyword">type</span> s</span></code></div><div class="spec-doc"><p>Store of all the agents, s as a plural</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create :
<span><span class="label">counters_per_agent</span>:
<span><span>(<span>string <a href="../../Kappa_data_structures/Loc/index.html#type-annoted">Kappa_data_structures.Loc.annoted</a></span>
* <span><span>string <a href="../../Kappa_data_structures/Loc/index.html#type-annoted">Kappa_data_structures.Loc.annoted</a></span> list</span>)</span>
Expand Down
26 changes: 13 additions & 13 deletions docs/KaSim-manual-/KaSim_manual.htm
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<!DOCTYPE html>
<html>
<head> <title>Kappa tools reference manual
(release b19d43d)</title>
(release 4d080a1)</title>
<meta charset="UTF-8" />
<meta name="generator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" />
<link rel="stylesheet" type="text/css" href="KaSim_manual.css" />
Expand All @@ -19,7 +19,7 @@


<h2 class="titleHead">Kappa tools reference manual<br />
(release b19d43d)</h2>
(release 4d080a1)</h2>
<div class="author" ><span
class="ecrm-1200">Pierre Boutillier, J</span><span
class="ecrm-1200">é</span><span
Expand Down Expand Up @@ -7702,9 +7702,9 @@ <h3 class="sectionHead"><span class="titlemark">6.3 </span> <a


<pre class="verbatim" id="verbatim-3">
Kappa Static Analyzer (b19d43d) (without Tk interface)
Analysis launched at 2024/03/27 18:05:53 (GMT+0) on
fv-az1487-606
Kappa Static Analyzer (4d080a1) (without Tk interface)
Analysis launched at 2024/03/28 17:02:29 (GMT+0) on
fv-az1532-254
Parsing ../kappa/reachability.ka...
done
Compiling...
Expand Down Expand Up @@ -8362,9 +8362,9 @@ <h3 class="sectionHead"><span class="titlemark">6.3 </span> <a


<pre class="verbatim" id="verbatim-6">
Kappa Static Analyzer (b19d43d) (without Tk interface)
Analysis launched at 2024/03/27 18:05:53 (GMT+0) on
fv-az1487-606
Kappa Static Analyzer (4d080a1) (without Tk interface)
Analysis launched at 2024/03/28 17:02:29 (GMT+0) on
fv-az1532-254
Parsing ../kappa/reachability.ka...
done
Compiling...
Expand Down Expand Up @@ -11550,9 +11550,9 @@ <h3 class="sectionHead"><span class="titlemark">6.6 </span> <a


<pre class="verbatim" id="verbatim-25">
Kappa Static Analyzer (b19d43d) (without Tk interface)
Analysis launched at 2024/03/27 18:05:53 (GMT+0) on
fv-az1487-606
Kappa Static Analyzer (4d080a1) (without Tk interface)
Analysis launched at 2024/03/28 17:02:29 (GMT+0) on
fv-az1532-254
Parsing ../kappa/influence.ka...
done
Compiling...
Expand Down Expand Up @@ -12987,7 +12987,7 @@ <h5 class="subsubsectionHead"><a
class="ectt-1095">-</span></span><span style="color:#000000"><span
class="ectt-1095">seed</span></span><span style="color:#000000"><span
class="ectt-1095"> </span></span><span style="color:#000000"><span
class="ectt-1095">822761135</span></span><span
class="ectt-1095">426638040</span></span><span
class="ectt-1095"> </span><br />
<span class="label"><a
id="x1-87012r2"></a></span><span style="color:#000000"><span
Expand All @@ -12999,7 +12999,7 @@ <h5 class="subsubsectionHead"><a
class="ectt-1095"> </span></span><span style="color:#000000"><span
class="ectt-1095">:</span></span><span style="color:#000000"><span
class="ectt-1095"> </span></span><span style="color:#000000"><span
class="ectt-1095">&#x0022;293338004&#x0022;</span></span><span
class="ectt-1095">&#x0022;764641780&#x0022;</span></span><span
class="ectt-1095"> </span><br />
<span class="label"><a
id="x1-87013r3"></a></span><span style="color:#000000"><span
Expand Down

0 comments on commit c0ccc4c

Please sign in to comment.