From 2a9048a1f87a2fcff1d9fcdd035108cec4b44a14 Mon Sep 17 00:00:00 2001
From: Aviral Goel <goel.aviral@gmail.com>
Date: Mon, 19 Dec 2016 14:23:50 -0500
Subject: Added lattice diagram for the state based pn counter

---
 chapter/6/counters.md                                 |   5 ++++-
 ...ncrement-and-decrement-counter-correct-lattice.png | Bin 0 -> 1346630 bytes
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.png

(limited to 'chapter/6')

diff --git a/chapter/6/counters.md b/chapter/6/counters.md
index a2709af..95b6c5d 100644
--- a/chapter/6/counters.md
+++ b/chapter/6/counters.md
@@ -299,8 +299,11 @@ The figure below shows an execution trace of three replicas confirming to this s
     <img src="{{ site.baseurl }}/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png" alt="State based increment and decrement counter (correct)"/>
 </figure>
 
-This design converges to the correct value. This provides us an eventually consistent state based increment and decrement counter.
+This design converges to the correct value. This provides us an eventually consistent state based increment and decrement counter. You can take a look at the lattice to convince yourself.
 
+<figure class="fullwidth">
+    <img src="{{ site.baseurl }}/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.png" alt="State based increment and decrement counter(correct) lattice"/>
+</figure>
 
 ## 3. References
 
diff --git a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.png
new file mode 100644
index 0000000..2bbcf6b
Binary files /dev/null and b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.png differ
-- 
cgit v1.2.3