1

以下を含む合金モデルがあります。

abstract sig person{}

one sig john,Steve extends person  {Gender: man} 

sig man{}

fact {
  all name: person, Gender: man | 
      name.Gender = name.Gender => person =person}

2 つの署名を等しくするにはどうすればよいですか?

4

1 に答える 1