Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org