Update API docs from pynever

Author: github-actions

pynever/API/4_Verification.html

@@ -127,7 +127,7 @@ <h2>Supported layers<a class="headerlink" href="#supported-layers" title="Link t
 </section>
 <section id="api">
 <h1>API<a class="headerlink" href="#api" title="Link to this heading"></a></h1>
-<p>In the <a class="reference external" href="https://github.com/NeVerTools/pyNeVer/tree/main/examples/notebooks">notebooks</a> directory there are four Jupyter Notebooks that illustrate how to use <em>pyNever</em> as an API to design, train and verify neural networks.</p>
+<p>In the <a class="reference external" href="https://github.com/NeVerTools/pyNeVer/tree/main/examples/notebooks">notebooks</a> directory there are four Jupyter Notebooks that illustrate how to use <strong>pyNeVer</strong> as an API to design, train and verify neural networks.</p>
 <ul class="simple">
 <li><p>The <a class="reference external" href="https://github.com/NeVerTools/pyNeVer/blob/main/examples/notebooks/00%20-%20Networks.ipynb">first notebook</a> covers the classes and methods to build networks</p></li>
 <li><p>The <a class="reference external" href="https://github.com/NeVerTools/pyNeVer/blob/main/examples/notebooks/01%20-%20Training.ipynb">second notebook</a> covers the learning strategy to train and test a network</p></li>

pynever/Guide/usage.html

@@ -23,3 +23,9 @@ Parameters
 
 .. automodule:: pynever.strategies.verification.parameters
    :members:
+
+Enumerators
+-----------
+
+.. automodule:: pynever.strategies.verification.ssbp.constants
+   :members:

pynever/_sources/API/4_Verification.rst.txt

@@ -42,7 +42,7 @@ the specification which can be found in the documentation, or via an SMT-LIB fil
 API
 ============
 
-In the `notebooks <https://github.com/NeVerTools/pyNeVer/tree/main/examples/notebooks>`_ directory there are four Jupyter Notebooks that illustrate how to use *pyNever* as an API to design, train and verify neural networks.
+In the `notebooks <https://github.com/NeVerTools/pyNeVer/tree/main/examples/notebooks>`_ directory there are four Jupyter Notebooks that illustrate how to use **pyNeVer** as an API to design, train and verify neural networks.
 
 - The `first notebook <https://github.com/NeVerTools/pyNeVer/blob/main/examples/notebooks/00%20-%20Networks.ipynb>`_ covers the classes and methods to build networks
 - The `second notebook <https://github.com/NeVerTools/pyNeVer/blob/main/examples/notebooks/01%20-%20Training.ipynb>`_ covers the learning strategy to train and test a network

pynever/_sources/Guide/usage.rst.txt

@@ -168,6 +168,10 @@ <h2 id="B">B</h2>
       <li><a href="API/4_Verification.html#pynever.strategies.verification.parameters.SSBPVerificationParameters.bounds">bounds (pynever.strategies.verification.parameters.SSBPVerificationParameters attribute)</a>
 </li>
       <li><a href="API/4_Verification.html#pynever.strategies.verification.parameters.SSBPVerificationParameters.bounds_direction">bounds_direction (pynever.strategies.verification.parameters.SSBPVerificationParameters attribute)</a>
+</li>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.ssbp.constants.BoundsBackend">BoundsBackend (class in pynever.strategies.verification.ssbp.constants)</a>
+</li>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.ssbp.constants.BoundsDirection">BoundsDirection (class in pynever.strategies.verification.ssbp.constants)</a>
 </li>
   </ul></td>
 </tr></table>
@@ -406,6 +410,8 @@ <h2 id="I">I</h2>
       <li><a href="API/0_Networks.html#pynever.networks.NeuralNetwork.input_ids">input_ids (pynever.networks.NeuralNetwork attribute)</a>
 </li>
       <li><a href="API/4_Verification.html#pynever.strategies.verification.parameters.SSBPVerificationParameters.intersection">intersection (pynever.strategies.verification.parameters.SSBPVerificationParameters attribute)</a>
+</li>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.ssbp.constants.IntersectionStrategy">IntersectionStrategy (class in pynever.strategies.verification.ssbp.constants)</a>
 </li>
       <li><a href="API/0_Networks.html#pynever.networks.NeuralNetwork.is_acyclic">is_acyclic() (pynever.networks.NeuralNetwork method)</a>
 </li>
@@ -433,18 +439,20 @@ <h2 id="K">K</h2>
 <h2 id="L">L</h2>
 <table style="width: 100%" class="indextable genindextable"><tr>
   <td style="width: 33%; vertical-align: top;"><ul>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.ssbp.constants.RefinementTarget.layer_id">layer_id (pynever.strategies.verification.ssbp.constants.RefinementTarget attribute)</a>
+</li>
       <li><a href="API/0_Networks.html#pynever.networks.NeuralNetwork.layer_precedes">layer_precedes() (pynever.networks.NeuralNetwork method)</a>
 </li>
       <li><a href="API/1_Nodes.html#pynever.nodes.LayerNode">LayerNode (class in pynever.nodes)</a>
 </li>
       <li><a href="API/4_Verification.html#pynever.strategies.verification.algorithms.SSLPVerification.layers_bounds">layers_bounds (pynever.strategies.verification.algorithms.SSLPVerification attribute)</a>
 </li>
       <li><a href="API/0_Networks.html#pynever.networks.NeuralNetwork.layers_iterator">layers_iterator() (pynever.networks.NeuralNetwork method)</a>
-</li>
-      <li><a href="API/1_Nodes.html#pynever.nodes.LeakyReLUNode">LeakyReLUNode (class in pynever.nodes)</a>
 </li>
   </ul></td>
   <td style="width: 33%; vertical-align: top;"><ul>
+      <li><a href="API/1_Nodes.html#pynever.nodes.LeakyReLUNode">LeakyReLUNode (class in pynever.nodes)</a>
+</li>
       <li><a href="API/3_Conversion.html#pynever.strategies.conversion.representation.load_network_path">load_network_path() (in module pynever.strategies.conversion.representation)</a>
 </li>
       <li><a href="API/4_Verification.html#pynever.strategies.verification.properties.LocalRobustnessProperty">LocalRobustnessProperty (class in pynever.strategies.verification.properties)</a>
@@ -488,6 +496,8 @@ <h2 id="M">M</h2>
         <li><a href="API/4_Verification.html#module-pynever.strategies.verification.parameters">pynever.strategies.verification.parameters</a>
 </li>
         <li><a href="API/4_Verification.html#module-pynever.strategies.verification.properties">pynever.strategies.verification.properties</a>
+</li>
+        <li><a href="API/4_Verification.html#module-pynever.strategies.verification.ssbp.constants">pynever.strategies.verification.ssbp.constants</a>
 </li>
       </ul></li>
   </ul></td>
@@ -507,12 +517,16 @@ <h2 id="N">N</h2>
       <li><a href="API/4_Verification.html#pynever.strategies.verification.algorithms.SSBPVerification.network">network (pynever.strategies.verification.algorithms.SSBPVerification attribute)</a>
 </li>
       <li><a href="API/2_Training.html#pynever.strategies.training.PytorchTraining.network_transform">network_transform (pynever.strategies.training.PytorchTraining attribute)</a>
+</li>
+      <li><a href="API/0_Networks.html#pynever.networks.NeuralNetwork">NeuralNetwork (class in pynever.networks)</a>
 </li>
   </ul></td>
   <td style="width: 33%; vertical-align: top;"><ul>
-      <li><a href="API/0_Networks.html#pynever.networks.NeuralNetwork">NeuralNetwork (class in pynever.networks)</a>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.ssbp.constants.RefinementTarget.neuron_idx">neuron_idx (pynever.strategies.verification.ssbp.constants.RefinementTarget attribute)</a>
 </li>
       <li><a href="API/4_Verification.html#pynever.strategies.verification.parameters.SSLPVerificationParameters.neurons_to_refine">neurons_to_refine (pynever.strategies.verification.parameters.SSLPVerificationParameters attribute)</a>
+</li>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.ssbp.constants.NeuronSplit">NeuronSplit (class in pynever.strategies.verification.ssbp.constants)</a>
 </li>
       <li><a href="API/4_Verification.html#pynever.strategies.verification.properties.NeverProperty">NeverProperty (class in pynever.strategies.verification.properties)</a>
 </li>
@@ -600,15 +614,15 @@ <h2 id="P">P</h2>
         <li><a href="API/3_Conversion.html#module-pynever.strategies.conversion.converters.pytorch">module</a>
 </li>
       </ul></li>
-  </ul></td>
-  <td style="width: 33%; vertical-align: top;"><ul>
       <li>
     pynever.strategies.conversion.representation
 
       <ul>
         <li><a href="API/3_Conversion.html#module-pynever.strategies.conversion.representation">module</a>
 </li>
       </ul></li>
+  </ul></td>
+  <td style="width: 33%; vertical-align: top;"><ul>
       <li>
     pynever.strategies.training
 
@@ -635,6 +649,13 @@ <h2 id="P">P</h2>
 
       <ul>
         <li><a href="API/4_Verification.html#module-pynever.strategies.verification.properties">module</a>
+</li>
+      </ul></li>
+      <li>
+    pynever.strategies.verification.ssbp.constants
+
+      <ul>
+        <li><a href="API/4_Verification.html#module-pynever.strategies.verification.ssbp.constants">module</a>
 </li>
       </ul></li>
       <li><a href="API/3_Conversion.html#pynever.strategies.conversion.representation.PyTorchNetwork.pytorch_network">pytorch_network (pynever.strategies.conversion.representation.PyTorchNetwork attribute)</a>
@@ -655,14 +676,18 @@ <h2 id="P">P</h2>
 <h2 id="R">R</h2>
 <table style="width: 100%" class="indextable genindextable"><tr>
   <td style="width: 33%; vertical-align: top;"><ul>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.ssbp.constants.RefinementStrategy">RefinementStrategy (class in pynever.strategies.verification.ssbp.constants)</a>
+</li>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.ssbp.constants.RefinementTarget">RefinementTarget (class in pynever.strategies.verification.ssbp.constants)</a>
+</li>
       <li><a href="API/1_Nodes.html#pynever.nodes.ReLUNode">ReLUNode (class in pynever.nodes)</a>
 </li>
       <li><a href="API/0_Networks.html#pynever.networks.NeuralNetwork.remove_node">remove_node() (pynever.networks.NeuralNetwork method)</a>
-</li>
-      <li><a href="API/1_Nodes.html#pynever.nodes.ReshapeNode">ReshapeNode (class in pynever.nodes)</a>
 </li>
   </ul></td>
   <td style="width: 33%; vertical-align: top;"><ul>
+      <li><a href="API/1_Nodes.html#pynever.nodes.ReshapeNode">ReshapeNode (class in pynever.nodes)</a>
+</li>
       <li><a href="API/1_Nodes.html#pynever.nodes.MaxPoolNode.return_indices">return_indices (pynever.nodes.MaxPoolNode attribute)</a>
 </li>
       <li><a href="API/1_Nodes.html#pynever.nodes.BatchNormNode.running_mean">running_mean (pynever.nodes.BatchNormNode attribute)</a>
@@ -739,9 +764,11 @@ <h2 id="T">T</h2>
         <li><a href="API/3_Conversion.html#pynever.strategies.conversion.representation.ConversionStrategy.to_neural_network">(pynever.strategies.conversion.representation.ConversionStrategy method)</a>
 </li>
       </ul></li>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.properties.NeverProperty.to_numeric_bounds">to_numeric_bounds() (pynever.strategies.verification.properties.NeverProperty method)</a>
+</li>
   </ul></td>
   <td style="width: 33%; vertical-align: top;"><ul>
-      <li><a href="API/4_Verification.html#pynever.strategies.verification.properties.NeverProperty.to_numeric_bounds">to_numeric_bounds() (pynever.strategies.verification.properties.NeverProperty method)</a>
+      <li><a href="API/4_Verification.html#pynever.strategies.verification.ssbp.constants.RefinementTarget.to_pair">to_pair() (pynever.strategies.verification.ssbp.constants.RefinementTarget method)</a>
 </li>
       <li><a href="API/4_Verification.html#pynever.strategies.verification.properties.NeverProperty.to_smt_file">to_smt_file() (pynever.strategies.verification.properties.NeverProperty method)</a>
 </li>

pynever/genindex.html

@@ -146,6 +146,11 @@ <h1>Python Module Index</h1>
        <td>&#160;&#160;&#160;
        <a href="API/4_Verification.html#module-pynever.strategies.verification.properties"><code class="xref">pynever.strategies.verification.properties</code></a></td><td>
        <em></em></td></tr>
+     <tr class="cg-1">
+       <td></td>
+       <td>&#160;&#160;&#160;
+       <a href="API/4_Verification.html#module-pynever.strategies.verification.ssbp.constants"><code class="xref">pynever.strategies.verification.ssbp.constants</code></a></td><td>
+       <em></em></td></tr>
    </table>