Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class PREDICATE [OPEN_ARGS -> detachable TUPLE create default_create end] General cluster: elks description: "Objects representing delayed calls to a boolean function, with some arguments possibly still open." create: set_rout_disp, set_rout_disp_final Ancestors FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] Queries Callable: BOOLEAN flexible_item (a: detachable separate TUPLE): BOOLEAN hash_code: INTEGER_32 is_equal (other: [like Current] PREDICATE [OPEN_ARGS]): BOOLEAN is_hashable: BOOLEAN is_target_closed: BOOLEAN item alias "()" (args: detachable separate OPEN_ARGS): BOOLEAN last_result: BOOLEAN Mismatch_information: MISMATCH_INFORMATION open_count: INTEGER_32 operands: detachable OPEN_ARGS postcondition (args: [like operands] detachable OPEN_ARGS): BOOLEAN precondition (args: [like operands] detachable OPEN_ARGS): BOOLEAN target: detachable ANY valid_operands (args: detachable separate TUPLE): BOOLEAN valid_target (args: detachable TUPLE): BOOLEAN Commands adapt (other: [like Current] PREDICATE [OPEN_ARGS]) apply call (args: detachable separate OPEN_ARGS) clear_last_result copy (other: [like Current] PREDICATE [OPEN_ARGS]) correct_mismatch flexible_call (a: detachable separate TUPLE) set_operands (args: detachable OPEN_ARGS) set_target (a_target: [like target] detachable ANY)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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