Relation:canConvertTo

From OXPL Wiki
Jump to navigation Jump to search
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>.