Предикат сплава для дерева

Question

Я пытаюсь написать предикат в сплаве, который определит, является ли набор узлов деревом. У меня есть псевдокод, но я не совсем понимаю, как его реализовать. Я новичок в сплаве, поэтому спасибо всем, кто откликнулся заранее.

sig Node[]

pred isTree [r: Node -> Node] {
// Every node reachable from root
// No cycles
// No node has more than 1 more parent.
}

Answer 1

Вы можете ознакомиться с этим интерактивным учебником по Alloy , в котором смоделирована файловая система. Это также древовидная структура, поэтому у вас есть ответы.

Более конкретные ответы требуют более конкретных вопросов и отображения ваших попыток.

Мы не раздаем решения для домашних заданий; -).