nkdsl.compiler.diagnostics.rules.connectivity\_rules
====================================================

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

   
   .. rubric:: Functions

   .. autosummary::
   
      build_hilbert_support_lookup
      evaluate_constraint_accepts_state
      illegal_local_state_positions
      infer_shift_mod_spec_from_hilbert
      make_kbody_runner
      sample_source_states
      state_to_tuple
   
   .. rubric:: Classes

   .. autosummary::
   
      AbstractDiagnosticRule
      Any
      DSLDiagnostic
      DiagnosticRuleContext
      GeneratedConnectivityValidityRule