Enum InequalityStrictness

Enumerates the meanings of inequalities of unspecified strictness such as GreaterThanAttribute, LessThanAttribute, PositiveAttribute and NegativeAttribute.

[CompileTime]
public enum InequalityStrictness

Name	Description
NonStrict	Inequalities of unspecified strictness are interpreted as non-strict, i.e. `[GreaterThan(5)]` corresponds to `x >= 5`, `[LessThan(5)]` corresponds to `x <= 5`, `[Positive]` corresponds to `x >= 0` and `[Negative]` corresponds to `x <= 0`. This is currently the default strictness, but a warning will be reported unless you explicitly set the DefaultInequalityStrictness contract option.
Strict	Inequalities of unspecified strictness are interpreted as strict, i.e. `[GreaterThan(5)]` corresponds to `x > 5`, `[LessThan(5)]` corresponds to `x < 5`, `[Positive]` corresponds to `x > 0` and `[Negative]` corresponds to `x < 0`.