Automatic generation produced by ISE Eiffel
expanded class BOOLEAN General cluster: elks description: "Truth values, with the boolean operations." create: default_create , make_from_reference Ancestors BOOLEAN_REF Queries conjuncted alias "and " alias "∧ " (other: BOOLEAN ): BOOLEAN conjuncted_semistrict alias "and then " alias "∧... " (other: BOOLEAN ): BOOLEAN disjuncted alias "or " alias "∨ " (other: BOOLEAN ): BOOLEAN disjuncted_exclusive alias "xor " alias "⊻ " (other: BOOLEAN ): BOOLEAN disjuncted_semistrict alias "or else " alias "∨... " (other: BOOLEAN ): BOOLEAN hash_code : INTEGER_32 implication alias " " alias "⇒ " (other: BOOLEAN ): BOOLEAN is_hashable : BOOLEAN item : BOOLEAN negated alias "not " alias "¬ ": BOOLEAN out : STRING_8 to_integer : INTEGER_32 to_reference : BOOLEAN_REF Commands set_item (b: BOOLEAN ) -- Generated by Eiffel Studio --
For more details: eiffel.org