slang::DisableIffAssertionExpr class

Represents a disable iff condition in a property spec.