slang::ast::DisableSoftConstraint class

Represents a constraint that disables a soft random variable.