Relation:isA

From OXPL Wiki
Jump to navigation Jump to search
isA relation
Address prim::isA
Category basic
Degree 2 (binary)
Reflexive yes
Symmetric no
Transitive yes
Functional no
Inverse fct. no
Irreflexive no
Asymmetric no
Equivalent to isa

isA is a built-in relation between classes and types. The subject A is the subclass of the object B.

Example

Fact

<uint8> isA <integer>.

Shortcut

The relation isa is defined as a shortcut and thus as an equivalent to this relation because it is easier to type. Nevertheless, any source code formatter or pretty printer should should replace any occurrence of the isa relation by the isA relation due to naming scheme consistency.