slang::analysis::AnalyzedAssertion class

Represents an analyzed assertion (or procedural checker).

Constructors, destructors, conversion operators

AnalyzedAssertion(AnalysisContext& context, const ast::TimingControl* contextualClock, const AnalyzedProcedure& procedure, const ast::Statement& stmt, const ast::Symbol* checkerInstance)
Constructs a new AnalyzedAssertion object.
AnalyzedAssertion(AnalysisContext& context, const ast::TimingControl* contextualClock, const AnalyzedProcedure* procedure, const ast::Symbol& parentSymbol, const ast::Expression& expr)
Constructs a new AnalyzedAssertion object.

Public variables

const AnalyzedScope* checkerScope
If this assertion is a procedural checker, this is the expanded analyzed checker body.