Constraint that returns true
if two concept instances can be converted to each other: both instances have the same concept type (for example, they are both Business
concepts), or if one is a sub-type of the other. For example, if Restaurant
extends Business
, then a Business
and a Restaurant
are convertible types. A Restaurant
and a MovieTheater
that both extend Business
are not convertible types: they have no inheritance relationship between one other.
structure (Restaurant) {
...
equivalence: optimistic-join {
convertible-concepts
equivalent-values (name)
equivalent-values (address)
}
}
Copyright 2024 Samsung All rights reserved