diff options
Diffstat (limited to 'chapter/6/resources/images/counters')
11 files changed, 0 insertions, 0 deletions
diff --git a/chapter/6/resources/images/counters/decrement-operation.png b/chapter/6/resources/images/counters/decrement-operation.png Binary files differnew file mode 100644 index 0000000..a2d3f1a --- /dev/null +++ b/chapter/6/resources/images/counters/decrement-operation.png 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/increment-operation.png b/chapter/6/resources/images/counters/increment-operation.png Binary files differnew file mode 100644 index 0000000..f016c23 --- /dev/null +++ b/chapter/6/resources/images/counters/increment-operation.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 differnew file mode 100644 index 0000000..ddbc789 --- /dev/null +++ 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 differnew file mode 100644 index 0000000..1231b92 --- /dev/null +++ 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-lattice.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.png Binary files differnew file mode 100644 index 0000000..2bbcf6b --- /dev/null +++ b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.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 differnew file mode 100644 index 0000000..880aee0 --- /dev/null +++ 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 differnew file mode 100644 index 0000000..7981767 --- /dev/null +++ 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 differnew file mode 100644 index 0000000..c382f8b --- /dev/null +++ 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 differnew file mode 100644 index 0000000..3e79e42 --- /dev/null +++ b/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png |
