11. N. Shimizu (chikoski@gmail.com / @chikoski)
module family#
open library/graphs#
sig Person { parents: set Person}#
pred Acyclic { graphs/Acyclic [parents]}
12. N. Shimizu (chikoski@gmail.com / @chikoski)
module family#
open library/graphs#
sig Person { parents: set Person}#
pred Acyclic { graphs/Acyclic [parents]}
13. N. Shimizu (chikoski@gmail.com / @chikoski)
module family#
open library/graphs as g#
sig Person { parents: set Person}#
pred Acyclic { g/Acyclic [parents]}
14. N. Shimizu (chikoski@gmail.com / @chikoski)
module family#
open library/graphs as g#
sig Person { parents: set Person}#
pred Acyclic { g/Acyclic [parents]}
18. N. Shimizu (chikoski@gmail.com / @chikoski)
module family#
open library/graphs [Person]#
sig Person {parents : set Person}#
fact { Acyclic [parents] }
19. N. Shimizu (chikoski@gmail.com / @chikoski)
module family#
open library/graphs [Person]#
sig Person {parents : set Person}#
fact { Acyclicpred Acyclic ( r: }
[parents] Person -> Person) { no ^r & iden}
22. N. Shimizu (chikoski@gmail.com / @chikoski)
sig Card { suit: Suit}#
sig Suit {}#
pred ThreeOfAKind (hand : set Card ){#
#hand.suit = 1 and #hand = 3#
}
24. N. Shimizu (chikoski@gmail.com / @chikoski)
Int
sig Node { adj: Node -> lone Int }#
fact {#
all n : Node | #
let w = n.adj [n] | some w => w = 0#
}