0
具有如下:實現入隊和出隊的隊列採用合金
sig Queue { root: Node }
sig Node { next: lone Node }
fact nextNotReflexive { no n:Node | n = n.next }
fact nextNotCyclic { no n:Node | n in n.^next }
任何人都可以在的查詢和DEQ的實施幫助嗎?
pred Enq[q,q':Queue, n:Node]{}
pred Deq [q,q':Queue]{}
任何幫助表示讚賞。
究竟是什麼問題? – 2013-03-19 17:48:14