nkdsl.compiler.diagnostics.rules
================================

.. automodule:: nkdsl.compiler.diagnostics.rules

   
   .. rubric:: Functions

   .. autosummary::
   
      default_diagnostic_rules
   
   .. rubric:: Classes

   .. autosummary::
   
      AbstractDiagnosticRule
      ConstantFalsePredicateRule
      DiagnosticRuleContext
      DuplicateEmissionRule
      GeneratedConnectivityValidityRule
      MaxConnHintLowerBoundRule
      MissingBranchTagRule
      PotentialZeroDivisionRule
      StaticIndexBoundsRule
      UnresolvedFreeSymbolsRule