slang/binding/AssertionExpr.h file

Assertion expression creation and analysis.

Contents

Namespaces

namespace slang
Root namespace.

Classes

struct slang::SequenceRange
Represents a range of potential sequence matches.
struct slang::SequenceRepetition
Encodes a repetition of some sub-sequence.
class slang::SimpleAssertionExpr
Represents an assertion expression defined as a simple regular expression.
class slang::SequenceConcatExpr
Represents an assertion expression defined as a simple regular expression.
class slang::UnaryAssertionExpr
Represents a unary operator in a property expression.
class slang::BinaryAssertionExpr
Represents a binary operator in a sequence or property expression.
class slang::FirstMatchAssertionExpr
Represents a first_match operator in a sequence expression.
class slang::ClockingAssertionExpr
Represents an assertion expression with attached clocking control.
class slang::StrongWeakAssertionExpr
Represents a strong or weak operator in a property expression.
class slang::AbortAssertionExpr
Represents an abort (accept_on / reject_on) property expression.
class slang::ConditionalAssertionExpr
Represents a conditional operator in a property expression.
class slang::CaseAssertionExpr
Represents a case operator in a property expression.