diff options
Diffstat (limited to 'chapter/6/resources')
| -rw-r--r-- | chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png | bin | 0 -> 22837 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png | bin | 259325 -> 231349 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/operation-based-increment-only-counter.png | bin | 236423 -> 275467 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png | bin | 250168 -> 302107 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png | bin | 0 -> 42949 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png | bin | 247402 -> 298653 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png | bin | 240649 -> 282239 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png | bin | 241905 -> 283474 bytes |
8 files changed, 0 insertions, 0 deletions
diff --git a/chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png b/chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png Binary files differnew file mode 100644 index 0000000..93b52bf --- /dev/null +++ b/chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png diff --git a/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png b/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png Binary files differindex f046c0b..ddbc789 100644 --- a/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png +++ b/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png diff --git a/chapter/6/resources/images/counters/operation-based-increment-only-counter.png b/chapter/6/resources/images/counters/operation-based-increment-only-counter.png Binary files differindex 398c562..1231b92 100644 --- a/chapter/6/resources/images/counters/operation-based-increment-only-counter.png +++ b/chapter/6/resources/images/counters/operation-based-increment-only-counter.png diff --git a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png Binary files differindex 0d6468b..880aee0 100644 --- a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png +++ b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png diff --git a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png Binary files differnew file mode 100644 index 0000000..d13dfaa --- /dev/null +++ b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png diff --git a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png Binary files differindex 3f7f1b9..7981767 100644 --- a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png +++ b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png diff --git a/chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png b/chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png Binary files differindex 4ca2843..c382f8b 100644 --- a/chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png +++ b/chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png diff --git a/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png b/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png Binary files differindex 3f95e59..3e79e42 100644 --- a/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png +++ b/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png |
