Я хотел бы добавить ограничения к значениям, которые отдельные лица определенного класса могут принимать через свойство объекта.
Например, у меня есть классы GPS и Means (содержит экземпляры Spoofing, Jamming, Speed_Change, Sign_Change), связанные свойством объекта HasMeans:
GPS -----> HasMeans Средства
Я хочу убедиться, что любой экземпляр класса GPS может подключаться только к экземплярам Means класса Jamming и Spoofing а не остальные.Если я скажу GPS экземпляр G1 HasMeans Speed_Change, моя цель - классифицировать это как ошибку, когда я запускаю рассуждение.
Заранее спасибо!