slang::ast::UniquenessConstraint class

Represents a constraint that enforces uniqueness of variables.

Base classes

class Constraint
The base class for all constraints in SystemVerilog.

Public variables

std::span<const Expression*const > items
The set of expressions defining the uniqueness set.