ConstraintAtomUnion
PackageReified.Constraint
One interpreted primitive: the complete semantic identity of a built-in constraint.
Specification
Kind
Union
Members
14
Examples
0
IsUniquenessAtomSignature
this.IsUniquenessAtom
IsCardinalityAtomSignature
this.IsCardinalityAtom
IsNumberAtomSignature
this.IsNumberAtom
IsMembershipAtomSignature
this.IsMembershipAtom
IsFormatAtomSignature
this.IsFormatAtom
Summary
| Name | Signature | Synopsis |
|---|---|---|
| IsUniquenessAtom | this.IsUniquenessAtom | No description available. |
| IsCardinalityAtom | this.IsCardinalityAtom | No description available. |
| IsNumberAtom | this.IsNumberAtom | No description available. |
| IsMembershipAtom | this.IsMembershipAtom | No description available. |
| IsFormatAtom | this.IsFormatAtom | No description available. |
| IsRelationAtom | this.IsRelationAtom | No description available. |
| IsPresenceAtom | this.IsPresenceAtom | No description available. |
| PresenceAtom | PresenceAtom Presence | A presence rule. |
| CardinalityAtom | CardinalityAtom Cardinality | A text length or collection count rule. |
| RelationAtom | RelationAtom Relation | An ordering or equality rule. |
| MembershipAtom | MembershipAtom Membership | A membership rule. |
| UniquenessAtom | UniquenessAtom | A no-duplicates rule. |
| FormatAtom | FormatAtom Format | A built-in text format rule. |
| NumberAtom | NumberAtom Number | A numeric-property rule. |
A presence rule.
Parameters
| Name | Type | Description |
|---|---|---|
| Item | Presence |
Returns
unit
A text length or collection count rule.
Parameters
| Name | Type | Description |
|---|---|---|
| Item | Cardinality |
Returns
unit
An ordering or equality rule.
Parameters
| Name | Type | Description |
|---|---|---|
| Item | Relation |
Returns
unit
A membership rule.
Parameters
| Name | Type | Description |
|---|---|---|
| Item | Membership |
Returns
unit
A no-duplicates rule. The duplicate itself appears as the violation's actual value.
Returns
unit
A built-in text format rule.
Parameters
| Name | Type | Description |
|---|---|---|
| Item | Format |
Returns
unit