slang::DisableSoftConstraint class

Represents a constraint that disables a soft random variable.