mirror of
https://github.com/XAMPPRocky/tokei
synced 2024-09-13 21:11:29 +00:00
19 lines
302 B
Alloy
19 lines
302 B
Alloy
// 18 lines 10 code 3 comments 5 blanks
|
|
|
|
sig Node {
|
|
edge: set Node
|
|
}
|
|
|
|
------------------------------------------------------------------------
|
|
|
|
pred self_loop[n: Node] {
|
|
n in n.edge
|
|
}
|
|
|
|
pred all_self_loop {
|
|
all n: Node | self_loop[n]
|
|
}
|
|
|
|
/* Comments started by /* don't nest */
|
|
run all_self_loop
|