CaseDecisionDag.h file
Decision DAG for case exhaustiveness analysis.
Namespaces
- namespace slang
- Root namespace.
- namespace slang::analysis
- Post-elaboration analysis framework.
Classes
- class slang::analysis::CaseDecisionDag
- A helper class for building a decision DAG (directed acyclic graph) for case statement exhaustiveness analysis.