slang::ast::DisableIffAssertionExpr class
#include <slang/ast/expressions/AssertionExpr.h>

Represents a disable iff condition in a property spec.

Base classes

class AssertionExpr: The base class for assertion expressions (sequences and properties).

Public variables

const Expression& condition: The disable condition expression.
const AssertionExpr& expr: The assertion expression being disabled.

Tab / T to search, Esc to close

…

Search for symbols, directories, files, pages or modules. You can omit any prefix from the symbol or file path; adding a : or / suffix lists all members of given symbol or directory.

Use ↓ / ↑ to navigate through the list, Enter to go. Tab autocompletes common prefix, you can copy a link to the result using ⌘ L while ⌘ M produces a Markdown link.

Sorry, nothing was found.
Maybe try a full-text search with external engine?

slang::ast::DisableIffAssertionExpr class #include <slang/ast/expressions/AssertionExpr.h>

Base classes

Public variables

slang::ast::DisableIffAssertionExpr class
#include <slang/ast/expressions/AssertionExpr.h>