deferred class PART_COMPARABLE General cluster: elks description: "Objects that may be compared according to a partial order relation" Ancestors ANY Queries is_greater alias ">" (other: [like Current] PART_COMPARABLE): BOOLEAN is_greater_equal alias ">=" alias "≥" (other: [like Current] PART_COMPARABLE): BOOLEAN is_less alias "<" (other: [like Current] PART_COMPARABLE): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] PART_COMPARABLE): BOOLEAN
Generated by ISE EiffelStudio