INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES