Module constraints

Source
Expand description

Defines constraints that can be imposed on variables.

Structs§

ByteSizeInRange
NumericInRange
NumericNonNegNonNan

Enums§

ValueConstraint

Statics§

BYTESIZE_AT_LEAST_1MB
NUMERIC_BOUNDED_0_1_INCLUSIVE
NUMERIC_NON_NEGATIVE

Traits§

DomainConstraint
DynDomainConstraint
A type erased version of DomainConstraint that we can reference on a VarDefinition.