Relation:isA
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
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.