Relation:canConvertTo

Revision as of 21:41, 21 January 2021 by Viktor (talk | contribs) (Created page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
canConvertTo relation
Address prim::canConvertTo
Category basic
Degree 2 (binary)
Reflexive no
Symmetric no
Transitive yes
Functional no
Inverse fct. no
Irreflexive no
Asymmetric no

The canConvertTo relation states that the subject type can be converted to the object type.

Example

Fact

<uint8> canConvertTo <uint16>.

Fact

<uin16> canConvertTo <uint32>.

As this relation is transitive, the following fact can be inferred from the above ones:

Fact

<uint8> canConvertTo <uint32>.