Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class BOOLEAN_REF General cluster: elks description: "References to objects containing a boolean value." Ancestors HASHABLE* Queries conjuncted alias "and" alias "" (other: [like Current] BOOLEAN_REF): BOOLEAN conjuncted_semistrict alias "and then" alias "∧…" (other: [like Current] BOOLEAN_REF): BOOLEAN disjuncted alias "or" alias "" (other: [like Current] BOOLEAN_REF): BOOLEAN disjuncted_exclusive alias "xor" alias "" (other: [like Current] BOOLEAN_REF): BOOLEAN disjuncted_semistrict alias "or else" alias "∨…" (other: [like Current] BOOLEAN_REF): BOOLEAN hash_code: INTEGER_32 implication alias "" alias "" (other: [like Current] BOOLEAN_REF): 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) Constraints involutive negation non contradiction completeness
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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