neuralqx.experimental.operators.symbolic.compiler.passes.analysis module

Symbolic fanout-analysis compiler pass.

class SymbolicFanoutAnalysisPass

Bases: AbstractSymbolicPass

Computes per-term and total fanout (max connected states) bounds.

Analysis keys written:

"term_fanouts" - dict[unique_key, int] "total_fanout" - int