@Override
public boolean equals(Object o) {
boolean result = (o instanceof PTFamily);
if (result) {
PTFamily oAsPTFamily = (PTFamily) o;
result =
(myModel.equals(oAsPTFamily.myModel))
&& (myName.equals(oAsPTFamily.myName))
&& (myExemplarName.equals(oAsPTFamily.myExemplarName))
&& (myConstraint.equals(oAsPTFamily.myConstraint))
&& (myInitializationRequires.equals(oAsPTFamily.myInitializationRequires))
&& (myInitializationEnsures.equals(oAsPTFamily.myInitializationEnsures))
&& (myFinalizationRequires.equals(oAsPTFamily.myFinalizationRequires))
&& (myFinalizationEnsures.equals(oAsPTFamily.myFinalizationEnsures));
}
return result;
}
