slang::LocalAssertionVarSymbol class

Represents a local variable declared inside an assertion item, such as a sequence or property.

Base classes

class VariableSymbol
Represents a variable declaration.