AssertionExpr.h file

Assertion expression creation and analysis.

Namespaces

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