Hello I am lost with Overloaded Operation Rules.
The doc says :
Overloaded Operation Rules
Overloaded operation rules reside within a root node of concept OverloadedOpRulesContainer. Each
overloaded operation rule consists of:
• an applicable operation concept, i.e. a reference to a concept of operation to which a rule is
applicable (e.g. PlusExpression);
• left and right operand type restrictions, which contain a type which restricts a type of left/right
operand, respectively. A restriction can be either exact or not, which means that a type of an
operand should be exactly a type in a restriction(if restriction is exact), or its subtype(if not exact),
for a rule to be applicable to such operand types;
• a function itself, which returns a type of operation by operation, left and right operand types.
How can define such an operation?
If i have Peer>Apple and Cat>Dog, yes I do want a different operation (no sexual conotation here he...) but how do I define it???
Could some one give a clear example of it.
Thanks a lot