Expand description
PatchValueConstraint and PatchIdConstraint — constrains variables to PATCH entries.
Structs§
- Patch
IdConstraint - Constrains a variable to ID-width values present in a
PATCH. - Patch
Value Constraint - Constrains a variable to full-width values present in a
PATCH.