Skip to main content

tsz_solver/classes/
mod.rs

1//! Class hierarchy and inheritance graph.
2//!
3//! Groups class-related solver concerns:
4//! - `class_hierarchy`: Class type construction (merging base/derived members)
5//! - `inheritance`: Nominal inheritance graph (cycle detection, MRO, transitive closure)
6
7pub mod class_hierarchy;
8pub mod inheritance;