Deploying to gh-pages from @ 7831cdc 🚀

_sources/index.rst.txt

@@ -13,7 +13,6 @@ Welcome to automata-library's documentation!
    introduction
    overview
    nfa
-   afa
 
 
 Indices and tables

_sources/overview.rst.txt

@@ -5,5 +5,3 @@ Supported Classes of Automata
 -----------------------------
 
 .. doxygenstruct:: mata::nfa::Nfa
-
-.. doxygenstruct:: mata::afa::Afa

genindex.html

@@ -57,7 +57,6 @@ <h3>Navigation</h3>
 <li class="toctree-l1"><a class="reference internal" href="introduction.html">Introduction</a></li>
 <li class="toctree-l1"><a class="reference internal" href="overview.html">New Generation of Automata Library</a></li>
 <li class="toctree-l1"><a class="reference internal" href="nfa.html">Nondeterministic Finite automata</a></li>
-<li class="toctree-l1"><a class="reference internal" href="afa.html">Alternating Finite automata</a></li>
 </ul>
 
 <div class="relations">

index.html

@@ -56,11 +56,6 @@ <h1>Welcome to automata-library’s documentation!<a class="headerlink" href="#w
 <li class="toctree-l2"><a class="reference internal" href="nfa.html#operations">Operations</a></li>
 </ul>
 </li>
-<li class="toctree-l1"><a class="reference internal" href="afa.html">Alternating Finite automata</a><ul>
-<li class="toctree-l2"><a class="reference internal" href="afa.html#structures">Structures</a></li>
-<li class="toctree-l2"><a class="reference internal" href="afa.html#operations">Operations</a></li>
-</ul>
-</li>
 </ul>
 </div>
 </section>
@@ -95,7 +90,6 @@ <h3>Navigation</h3>
 <li class="toctree-l1"><a class="reference internal" href="introduction.html">Introduction</a></li>
 <li class="toctree-l1"><a class="reference internal" href="overview.html">New Generation of Automata Library</a></li>
 <li class="toctree-l1"><a class="reference internal" href="nfa.html">Nondeterministic Finite automata</a></li>
-<li class="toctree-l1"><a class="reference internal" href="afa.html">Alternating Finite automata</a></li>
 </ul>
 
 <div class="relations">

introduction.html

@@ -39,8 +39,7 @@ <h2>Mata: The Automata Library<a class="headerlink" href="#mata-the-automata-lib
 <a class="reference external" href="https://github.com/VeriFIT/mata/actions/workflows/code-quality.yml"><img alt="Quality" src="https://github.com/VeriFIT/mata/actions/workflows/code-quality.yml/badge.svg" /></a>
 <a class="reference external" href="https://github.com/VeriFIT/mata/actions/workflows/python-binding.yml"><img alt="Python-Binding (build-&amp;-test)" src="https://github.com/VeriFIT/mata/actions/workflows/python-binding.yml/badge.svg?branch=devel" /></a>
 <a class="reference external" href="https://codecov.io/gh/VeriFIT/mata"><img alt="codecov" src="https://codecov.io/gh/VeriFIT/mata/branch/devel/graph/badge.svg?token=9VAVD19N4D" /></a></p>
-<p>Mata is an open source automata library that offers interface for different kinds of automata (NFA,
-AFA, etc.). Currently, Mata offers two interfaces:</p>
+<p>Mata is an open source automata library that offers interface for different kinds of automata (NFA, etc.). Currently, Mata offers two interfaces:</p>
 <ol class="arabic simple">
 <li><p>An efficient library implemented in C/C++</p></li>
 <li><p>A flexible wrapper implemented in Python that uses the efficient library</p></li>
@@ -298,7 +297,6 @@ <h3>Navigation</h3>
 </li>
 <li class="toctree-l1"><a class="reference internal" href="overview.html">New Generation of Automata Library</a></li>
 <li class="toctree-l1"><a class="reference internal" href="nfa.html">Nondeterministic Finite automata</a></li>
-<li class="toctree-l1"><a class="reference internal" href="afa.html">Alternating Finite automata</a></li>
 </ul>
 
 <div class="relations">

nfa.html

@@ -13,7 +13,6 @@
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
     <link rel="index" title="Index" href="genindex.html" />
     <link rel="search" title="Search" href="search.html" />
-    <link rel="next" title="Alternating Finite automata" href="afa.html" />
     <link rel="prev" title="New Generation of Automata Library" href="overview.html" />
 
   <link rel="stylesheet" href="_static/custom.css" type="text/css" />
@@ -123,15 +122,13 @@ <h3>Navigation</h3>
 <li class="toctree-l2"><a class="reference internal" href="#operations">Operations</a></li>
 </ul>
 </li>
-<li class="toctree-l1"><a class="reference internal" href="afa.html">Alternating Finite automata</a></li>
 </ul>
 
 <div class="relations">
 <h3>Related Topics</h3>
 <ul>
   <li><a href="index.html">Documentation overview</a><ul>
       <li>Previous: <a href="overview.html" title="previous chapter">New Generation of Automata Library</a></li>
-      <li>Next: <a href="afa.html" title="next chapter">Alternating Finite automata</a></li>
   </ul></li>
 </ul>
 </div>

overview.html

@@ -39,10 +39,6 @@ <h2>Supported Classes of Automata<a class="headerlink" href="#supported-classes-
 <p class="admonition-title">Warning</p>
 <p>doxygenstruct: Cannot find file: /home/runner/work/mata/mata/doc/xml/index.xml</p>
 </div>
-<div class="admonition warning">
-<p class="admonition-title">Warning</p>
-<p>doxygenstruct: Cannot find file: /home/runner/work/mata/mata/doc/xml/index.xml</p>
-</div>
 </section>
 </section>
 
@@ -71,7 +67,6 @@ <h3>Navigation</h3>
 </ul>
 </li>
 <li class="toctree-l1"><a class="reference internal" href="nfa.html">Nondeterministic Finite automata</a></li>
-<li class="toctree-l1"><a class="reference internal" href="afa.html">Alternating Finite automata</a></li>
 </ul>
 
 <div class="relations">

search.html

@@ -86,7 +86,6 @@ <h3>Navigation</h3>
 <li class="toctree-l1"><a class="reference internal" href="introduction.html">Introduction</a></li>
 <li class="toctree-l1"><a class="reference internal" href="overview.html">New Generation of Automata Library</a></li>
 <li class="toctree-l1"><a class="reference internal" href="nfa.html">Nondeterministic Finite automata</a></li>
-<li class="toctree-l1"><a class="reference internal" href="afa.html">Alternating Finite automata</a></li>
 </ul>
 
 <div class="relations">