From 1a13504796eb167c35ef96c5d29b6f8a7a33ecfe Mon Sep 17 00:00:00 2001 From: Stefan Plantikow Date: Mon, 21 Nov 2011 14:21:14 +0100 Subject: [PATCH] Fixed documentation comment glitches in the logic ADTs --- src/lib/bool.rs | 2 +- src/lib/four.rs | 4 ++-- 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. */