Skip to content

Commit

Permalink
Bugfix for linking petrinets (#870)
Browse files Browse the repository at this point in the history
## Summary of Changes

Fix for bug reported on #869

### Related issues

Resolves #869 e437b49
  • Loading branch information
github-actions[bot] committed Mar 27, 2024
1 parent a25d599 commit fc9fc3a
Show file tree
Hide file tree
Showing 1,332 changed files with 217,050 additions and 239,379 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -365,7 +365,7 @@ <h3>Instance variables</h3>
<h3>Methods</h3>
<dl>
<dt id="skema.img2mml.models.decoders.xfmer_decoder.Transformer_Decoder.create_pad_mask"><code class="name flex">
<span>def <span class="ident">create_pad_mask</span></span>(<span>self, matrix: <built-in method tensor of type object at 0x7f756d35b500>, pad_token: int) ‑> <built-in method tensor of type object at 0x7f756d35b500></span>
<span>def <span class="ident">create_pad_mask</span></span>(<span>self, matrix: <built-in method tensor of type object at 0x7f7602b5b500>, pad_token: int) ‑> <built-in method tensor of type object at 0x7f7602b5b500></span>
</code></dt>
<dd>
<div class="desc"></div>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -157,7 +157,7 @@ <h3>Class variables</h3>
<h3>Methods</h3>
<dl>
<dt id="skema.img2mml.models.encoding.positional_encoding_for_xfmer.PositionalEncoding.forward"><code class="name flex">
<span>def <span class="ident">forward</span></span>(<span>self, x: <built-in method tensor of type object at 0x7f756d35b500>) ‑> <built-in method tensor of type object at 0x7f756d35b500></span>
<span>def <span class="ident">forward</span></span>(<span>self, x: <built-in method tensor of type object at 0x7f7602b5b500>) ‑> <built-in method tensor of type object at 0x7f7602b5b500></span>
</code></dt>
<dd>
<div class="desc"><p>Defines the computation performed at every call.</p>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -279,18 +279,19 @@ <h3>Methods</h3>
def _generate_linking_sources(self, elements: Iterable[JsonNode]) -&gt; Dict[str, List[Any]]:
ret = defaultdict(list)
for name, val, ix in elements:
if (name == &#34;states&#34;) or (name == &#34;parameters&#34; and &#39;name&#39; in val):
key = val[&#39;name&#39;].strip()
lower_case_key = key.lower()
if val is not None:
if (name == &#34;states&#34;) or (name == &#34;parameters&#34; and &#39;name&#39; in val):
key = val[&#39;name&#39;].strip()
lower_case_key = key.lower()

if &#34;description&#34; in val:
ret[f&#34;{key}: {val[&#39;description&#39;]}&#34;] = val
else:
if lower_case_key in heuristics:
descs = heuristics[lower_case_key]
for desc in descs:
ret[f&#34;{key}: {desc}&#34;] = val
ret[key] = val
if &#34;description&#34; in val:
ret[f&#34;{key}: {val[&#39;description&#39;]}&#34;] = val
else:
if lower_case_key in heuristics:
descs = heuristics[lower_case_key]
for desc in descs:
ret[f&#34;{key}: {desc}&#34;] = val
ret[key] = val
# elif name == &#34;transitions&#34;:
# if &#34;description&#34; in val:
# ret[f&#34;{val[&#39;id&#39;].strip()}: {val[&#39;description&#39;]}&#34;] = val
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -40,18 +40,19 @@ <h1 class="title">Module <code>skema.metal.model_linker.skema_model_linker.linke
def _generate_linking_sources(self, elements: Iterable[JsonNode]) -&gt; Dict[str, List[Any]]:
ret = defaultdict(list)
for name, val, ix in elements:
if (name == &#34;states&#34;) or (name == &#34;parameters&#34; and &#39;name&#39; in val):
key = val[&#39;name&#39;].strip()
lower_case_key = key.lower()
if val is not None:
if (name == &#34;states&#34;) or (name == &#34;parameters&#34; and &#39;name&#39; in val):
key = val[&#39;name&#39;].strip()
lower_case_key = key.lower()

if &#34;description&#34; in val:
ret[f&#34;{key}: {val[&#39;description&#39;]}&#34;] = val
else:
if lower_case_key in heuristics:
descs = heuristics[lower_case_key]
for desc in descs:
ret[f&#34;{key}: {desc}&#34;] = val
ret[key] = val
if &#34;description&#34; in val:
ret[f&#34;{key}: {val[&#39;description&#39;]}&#34;] = val
else:
if lower_case_key in heuristics:
descs = heuristics[lower_case_key]
for desc in descs:
ret[f&#34;{key}: {desc}&#34;] = val
ret[key] = val
# elif name == &#34;transitions&#34;:
# if &#34;description&#34; in val:
# ret[f&#34;{val[&#39;id&#39;].strip()}: {val[&#39;description&#39;]}&#34;] = val
Expand Down Expand Up @@ -89,18 +90,19 @@ <h2 class="section-title" id="header-classes">Classes</h2>
def _generate_linking_sources(self, elements: Iterable[JsonNode]) -&gt; Dict[str, List[Any]]:
ret = defaultdict(list)
for name, val, ix in elements:
if (name == &#34;states&#34;) or (name == &#34;parameters&#34; and &#39;name&#39; in val):
key = val[&#39;name&#39;].strip()
lower_case_key = key.lower()
if val is not None:
if (name == &#34;states&#34;) or (name == &#34;parameters&#34; and &#39;name&#39; in val):
key = val[&#39;name&#39;].strip()
lower_case_key = key.lower()

if &#34;description&#34; in val:
ret[f&#34;{key}: {val[&#39;description&#39;]}&#34;] = val
else:
if lower_case_key in heuristics:
descs = heuristics[lower_case_key]
for desc in descs:
ret[f&#34;{key}: {desc}&#34;] = val
ret[key] = val
if &#34;description&#34; in val:
ret[f&#34;{key}: {val[&#39;description&#39;]}&#34;] = val
else:
if lower_case_key in heuristics:
descs = heuristics[lower_case_key]
for desc in descs:
ret[f&#34;{key}: {desc}&#34;] = val
ret[key] = val
# elif name == &#34;transitions&#34;:
# if &#34;description&#34; in val:
# ret[f&#34;{val[&#39;id&#39;].strip()}: {val[&#39;description&#39;]}&#34;] = val
Expand Down
4 changes: 2 additions & 2 deletions api/rust/help.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="Documentation for Rustdoc"><title>Help</title><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="./static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="./static.files/rustdoc-5bc39a1768837dd0.css"><meta name="rustdoc-vars" data-root-path="./" data-static-root-path="./static.files/" data-current-crate="morae" data-themes="" data-resource-suffix="" data-rustdoc-version="1.77.0 (aedd173a2 2024-03-17)" data-channel="1.77.0" data-search-js="search-dd67cee4cfa65049.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="./static.files/storage-4c98445ec4002617.js"></script><script defer src="./static.files/main-48f368f3872407c8.js"></script><noscript><link rel="stylesheet" href="./static.files/noscript-04d5337699b92874.css"></noscript><link rel="alternate icon" type="image/png" href="./static.files/favicon-16x16-8b506e7a72182f1c.png"><link rel="alternate icon" type="image/png" href="./static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="./static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt=""></a></nav><nav class="sidebar"><div class="sidebar-crate"><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt="logo"></a><h2><a href="./index.html">Rustdoc</a><span class="version">1.77.0</span></h2></div><div class="version">(aedd173a2 2024-03-17)</div><h2 class="location">Help</h2><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div>
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="./morae/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="./help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="./settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="./static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Rustdoc help</h1><span class="out-of-band"><a id="back" href="javascript:void(0)" onclick="history.back();">Back</a></span></div><noscript><section><p>You need to enable JavaScript to use keyboard commands or search.</p><p>For more information, browse the <a href="https://doc.rust-lang.org/rustdoc/">rustdoc handbook</a>.</p></section></noscript></section></div></main></body></html>
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="Documentation for Rustdoc"><title>Help</title><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="./static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="./static.files/rustdoc-5bc39a1768837dd0.css"><meta name="rustdoc-vars" data-root-path="./" data-static-root-path="./static.files/" data-current-crate="skema_service" data-themes="" data-resource-suffix="" data-rustdoc-version="1.77.0 (aedd173a2 2024-03-17)" data-channel="1.77.0" data-search-js="search-dd67cee4cfa65049.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="./static.files/storage-4c98445ec4002617.js"></script><script defer src="./static.files/main-48f368f3872407c8.js"></script><noscript><link rel="stylesheet" href="./static.files/noscript-04d5337699b92874.css"></noscript><link rel="alternate icon" type="image/png" href="./static.files/favicon-16x16-8b506e7a72182f1c.png"><link rel="alternate icon" type="image/png" href="./static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="./static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt=""></a></nav><nav class="sidebar"><div class="sidebar-crate"><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt="logo"></a><h2><a href="./index.html">Rustdoc</a><span class="version">1.77.0</span></h2></div><div class="version">(aedd173a2 2024-03-17)</div><h2 class="location">Help</h2><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div>
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="./skema_service/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="./help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="./settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="./static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Rustdoc help</h1><span class="out-of-band"><a id="back" href="javascript:void(0)" onclick="history.back();">Back</a></span></div><noscript><section><p>You need to enable JavaScript to use keyboard commands or search.</p><p>For more information, browse the <a href="https://doc.rust-lang.org/rustdoc/">rustdoc handbook</a>.</p></section></noscript></section></div></main></body></html>
Loading

0 comments on commit fc9fc3a

Please sign in to comment.