slang::ast::AssertionExpr::NondegeneracyCheckResult struct
#include <slang/ast/expressions/AssertionExpr.h>

A result structure for checking nondegeneracy.

Public variables

bitmask<NondegeneracyStatus> status: The nondegeneracy status of the expression.
SourceRange noMatchRange: The range of the expression that caused status to contain NondegeneracyStatus::AdmitsNoMatch.
bool isAlwaysFalse: Set to true if the expression is known to be always false.

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::AssertionExpr::NondegeneracyCheckResult struct #include <slang/ast/expressions/AssertionExpr.h>

Public variables

slang::ast::AssertionExpr::NondegeneracyCheckResult struct
#include <slang/ast/expressions/AssertionExpr.h>