ciao a tutti e buona domenica.
se qualcuno puo' aiutarmi su modelcheck, ne sarei infinitamente grato.
come configurare modelcheck in modo che:

1-gli "spigoli di riferimento" siano scoperti solo se si tratta di una sweep secondo curva.
2-i "riferimenti esterni" siano scoperti solo se si tratta di una feature tipo (merge/inheritance).

grazie