Я играю со сплавом и использую довольно простой пример. То, что я пытаюсь сделать, это вернуть набор специфических теток человека. Я пытаюсь выполнить следующий код, но он не работает, так как я не думаю, что могу вычесть подмножество из набора? Я не уверен, что я делаю неправильно.
Вот следующий код для обозначения «Человек и человек»:
abstract sig Person {
father: lone Man,
mother: lone Woman,
spouse: lone Person,
}
sig Man extends Person { }
Вот следующий код для функции:
fun aunt: Person->Person{
(parent.sibling)-Man
}
Так что я хочу, чтобы эта функция возвращала просто набор ТОЛЬКО моих тётей, где parent.sibling возвращает набор как тётей, так и дядюшками. Я не уверен, где я ошибаюсь, и спасибо вам за все эти кто ответит заранее.