replace description with table on cbranch
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 25 Sep 2019 07:10:36 +0000 (08:10 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 25 Sep 2019 07:10:36 +0000 (08:10 +0100)
simple_v_extension/appendix.mdwn

index aabe557be3eaaed68d1b5ebe50e2755c064e129c..8584f426799eaddc009615578481e5c5a0865611 100644 (file)
@@ -210,18 +210,17 @@ are to be stored, as a bitmask.  Additionally, the behaviour of the branch
 "invert" and "zeroing" bits are set.
 These four combinations result in "consensual branches", cbranch.ifnone (NOR), cbranch.ifany (OR), cbranch.ifall (AND), cbranch.ifnotall (NAND).
 
-* If "invert" is zero, and "zeroing" is zero, the branch will occur if and only
-  all tests pass (AND, ifall)
-* If "invert" is set and "zeroing" is zero, the branch will occur if all
-  tests *fail* (NAND, ifnotall)
-* If "invert" is set and "zeroing" is
-zero, the branch will occur if
-  even *one* test passes (OR, ifany)
-* If "invert" is set and "zeroing" is set, the branch will occur if
-  even *one* test fails (NOR, ifnone)
-
-This inversion capability covers AND, OR, NAND and NOR branching based
-on multiple element comparisons. Without the full set of four, it is necessary to have two-sequence branches: one conditional, one unconditional.
+| invert | zeroing | description                 | operation | cbranch |
+| ------ | ------- | --------------------------- | --------- | ------- |
+| 0      | 0       | branch if all pass          | AND       | ifall   |
+| 1      | 0       | branch if one fails         | NAND      | ifnall  |
+| 0      | 1       | branch if one passes        | OR        | ifany   |
+| 1      | 1       | branch if all fail          | NOR       | ifnone  |
+
+This inversion capability covers AND, OR, NAND and NOR branching
+based on multiple element comparisons. Without the full set of four,
+it is necessary to have two-sequence branch operations: one conditional, one
+unconditional.
 
 Note that unlike normal computer
 programming early-termination of chains of AND or OR conditional tests,