slang::ExpressionConstraint class

Represents a constraint defined by a logical expression.