API Reference

This section provides detailed API documentation for all AbstClaud modules.

Core Modules

• Affine Engine
  • AffineExpression
  • AffineExpressionEngine
  • AffineExpression
  • AffineExpressionEngine
  • Examples
• Bound Propagator
  • BoundPropagator
  • BoundPropagator
  • Layer Handlers
  • Usage Examples

Module Overview

abstractnn.affine_engine	Moteur d'expressions affines pour la propagation formelle
abstractnn.bound_propagator	Propagateur de bornes à travers le réseau
abstractnn.relaxer	Relaxation des fonctions d'activation non-linéaires Nota : les relaxations proposées dans ce projets sont grossières (nouvelle approximation affines des bornes inf et sup du domaine.
abstractnn.onnx_parser	Parser pour modèles ONNX
abstractnn.partial_evaluator	Évaluateur partiel pour sous-réseaux
abstractnn.soundness_checker	Vérification statistique de la soundness des bornes calculées