Permalink
Browse files

Change defn of :=>:

Not sure if this makes a difference.
  • Loading branch information...
1 parent 214b329 commit 06dd0601937693ce3fd1fe0785919c0e4461b3c0 @yav committed Apr 27, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/Data/Integer/Presburger/HOAS.hs
@@ -45,7 +45,7 @@ translate = loop 0
Exists f -> ex_step n (loop (n+1) (f (var n)))
Forall f -> loop n (Not (Exists (Not . f)))
Not f -> neg (loop n f)
- f1 :=>: f2 -> loop n (Not f1 :\/: f2)
+ f1 :=>: f2 -> loop n (f2 :\/: Not f1)
f1 :<=>: f2 -> loop n (f1 :/\: f2 :\/: Not f1 :/\: Not f2)
f1 :/\: f2 -> Node And (loop n f1) (loop n f2)
f1 :\/: f2 -> Node Or (loop n f1) (loop n f2)

0 comments on commit 06dd060

Please sign in to comment.