Reputation: 37
Hello stackoverflow community:
I have never seen attributes at lines before. So could someone explain me where these have to be defined?
Usually we have attributes in the classes at the second row. So I am confuded about this notation.
Upvotes: 2
Views: 154
Reputation: 73406
These are not "attributes", but these are association end names, which are also called "roles". It means the same as if the class And
would have two properties mlhs
and mrhs
referring each to an Expression
type. It also means that class Not
would have an mexpr
property.
By the way:
Upvotes: 2