Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
class BIT_REF General cluster: base.kernel description: "Bit sequences of length `count', with binary operations" Ancestors ANY Queries infix "#" (s: INTEGER): [like Current] BIT_REF infix "@" (i: INTEGER): BOOLEAN infix "and" (other: BIT_REF): BIT_REF infix "implies" (other: BIT_REF): BIT_REF infix "or" (other: BIT_REF): BIT_REF infix "^" (s: INTEGER): [like Current] BIT_REF infix "xor" (other: BIT_REF): BIT_REF prefix "not": [like Current] BIT_REF conforms_to (other: BIT_REF): BOOLEAN count: INTEGER generator: STRING item (i: INTEGER): BOOLEAN out: STRING Commands put (value: BOOLEAN; i: INTEGER)
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com