From 887c7fcfa92f75a1f3291548582cefea0c65fb01 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Mon, 3 Feb 2014 22:10:16 +0100 Subject: [PATCH] Perfected the fourth query --- Model/model.q | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Model/model.q b/Model/model.q index 57d61eb..53e0c72 100644 --- a/Model/model.q +++ b/Model/model.q @@ -18,4 +18,4 @@ E<> (Host1.Established and Host2.Established) /* */ -A[] not (Host1.Closed and Host2.Established) +A[] not ((Host1.Closed or Host1.Listen or Host1.SynSent) and Host2.Established)