slang::ConditionalConstraint class

Represents a constraint defined by an if-else condition.