17 lines
188 B
Text
17 lines
188 B
Text
|
sig Node {
|
||
|
|
edges: set Node
|
||
|
|
}
|
||
|
|
|
||
|
|
fact "Connected graph" {
|
||
|
|
some n: Node | n.*edges = Node
|
||
|
|
}
|
||
|
|
|
||
|
|
fact "No self edges" {
|
||
|
|
no iden & edges
|
||
|
|
}
|
||
|
|
|
||
|
|
one sig Ball {
|
||
|
|
-- note the var
|
||
|
|
var loc: Node
|
||
|
|
}
|