CFL Reachability Components
===========================

Advanced CFL reachability algorithms and graph analysis frameworks.

CSIndex (Context-Sensitive Indexing)
-----------------------------------

Context-sensitive indexing for CFL reachability.

**Location**: ``lib/CFL/CSIndex/``

**Features**: Context-aware indexing algorithms for efficient CFL queries.

**Components**:
* Context-sensitive graph indexing
* Reachability query optimization
* Memory-efficient representations


InterDyckGraphReduce
-------------------

Interprocedural Dyck graph reduction algorithms.

**Location**: ``lib/CFL/InterDyckGraphReduce/``

**Features**: Interprocedural analysis with graph reduction techniques for Dyck languages.

MutualRefinement
---------------

Mutual refinement algorithms for CFL analysis.

**Location**: ``lib/CFL/MutualRefinement/``

**Features**: Bidirectional refinement techniques for improving analysis precision.

See also:

- :doc:`csindex`
- :doc:`inter_dyck_graph_reduce`
- :doc:`mutual_refinement`