Problema con predicato in lega
-
12-11-2019 - |
Domanda
Quindi ho il seguente bit di codice in lega:
sig Node { }
sig Queue { root : Node }
pred SomePred {
no q, q' : Queue | q.root = q'.root
}
run SomePred for 3
Ma questo non produrrà alcuna istanza contenente una coda, mi chiedo perché. Mostra solo istanze con nodi. Ho provato il predicato equivalente
pred SomePred' {
all q, q' : Queue | q.root != q'.root
}
Ma l'output è lo stesso.
Mi sto perdendo qualcosa?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow