diff options
| author | Stefan Plantikow <stefan.plantikow@googlemail.com> | 2011-11-21 14:21:14 +0100 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2011-11-21 11:15:19 -0800 |
| commit | 1a13504796eb167c35ef96c5d29b6f8a7a33ecfe (patch) | |
| tree | 09eda70010275a20891e0f37745f515293046cae /src/lib | |
| parent | 1c9f97b6694001a572fe8a085fb9a8cfc6ca44b8 (diff) | |
Fixed documentation comment glitches in the logic ADTs
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/bool.rs | 2 | ||||
| -rw-r--r-- | src/lib/four.rs | 4 | ||||
| -rw-r--r-- | src/lib/tri.rs | 4 |
3 files changed, 5 insertions, 5 deletions
diff --git a/src/lib/bool.rs b/src/lib/bool.rs index 68c798ceb23..0fc869d1b41 100644 --- a/src/lib/bool.rs +++ b/src/lib/bool.rs @@ -30,7 +30,7 @@ Conjunction */ pure fn and(a: t, b: t) -> t { a && b } -/* Function: and +/* Function: or Disjunction */ diff --git a/src/lib/four.rs b/src/lib/four.rs index a1165caf864..11c42fb7018 100644 --- a/src/lib/four.rs +++ b/src/lib/four.rs @@ -5,10 +5,10 @@ Module: four The fourrternary Belnap relevance logic FOUR represented as ADT -This allows reasoning with four logic values (true, false, none, both) +This allows reasoning with four logic values (true, false, none, both). Implementation: Truth values are represented using a single u8 and -all operations are done using bitshifting which is fast +all operations are done using bit operations which is fast on current cpus. */ diff --git a/src/lib/tri.rs b/src/lib/tri.rs index 27e24bb4f47..fd4456cfde3 100644 --- a/src/lib/tri.rs +++ b/src/lib/tri.rs @@ -5,10 +5,10 @@ Module: tri ADT for the ternary Kleene logic K3 -This allows reasoning with three logic values (true, false, unknown) +This allows reasoning with three logic values (true, false, unknown). Implementation: Truth values are represented using a single u8 and -all operations are done using bitshifting which is fast +all operations are done using bit operations which is fast on current cpus. */ |