class
#include <slang/ast/Constraints.h>
UniquenessConstraint 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.