- indexing
- title: "Truth values, with the boolean operations."
- project: "Eiffel Kernel Library"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: kernel
expanded class BOOLEAN
- inherit
-
BOOLEAN_REF
- end
- invariant
-
involutive_negation:
is_equal (not (not Current))
-
non_contradiction:
not (Current and (not Current))
-
completeness:
Current or (not Current)
end -- class BOOLEAN