Update documentation

apozas · apozas · commit 3df3aff39fa0 · 2025-04-21T19:25:59.000+02:00
diff --git a/docs/certificate.rst b/docs/certificate.rst
@@ -0,0 +1,4 @@
+Certificates of infeasibility
+====================
+.. autoclass:: inflation.certificate.Certificate
+    :members: as_dict, as_probs, as_string, evaluate, desymmetrize
diff --git a/docs/inflationlp.rst b/docs/inflationlp.rst
@@ -2,4 +2,4 @@ InflationLP Class
 ==================
 
 .. autoclass:: inflation.InflationLP
-   :members: _generate_lp, set_bounds, set_distribution, set_objective, set_values, update_values, solve, certificate_as_dict, certificate_as_probs, certificate_as_string, evaluate_certificate, reset, write_to_file
+   :members: _generate_lp, set_bounds, set_distribution, set_objective, set_values, update_values, solve, reset, write_to_file
diff --git a/docs/inflationsdp.rst b/docs/inflationsdp.rst
@@ -2,4 +2,4 @@ InflationSDP Class
 ==================
 
 .. autoclass:: inflation.InflationSDP
-   :members: generate_relaxation, set_bounds, set_distribution, set_objective, set_values, solve, build_columns, certificate_as_probs, certificate_as_string, evaluate_certificate, reset, write_to_file
+   :members: generate_relaxation, set_bounds, set_distribution, set_objective, set_values, solve, build_columns, reset, write_to_file
diff --git a/docs/modules.rst b/docs/modules.rst
@@ -16,6 +16,8 @@ API Reference
 
    symmetry
 
+   certificate
+
    monomials
 
    build
