Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class INET_PROPERTIES General cluster: network description: "Objects that ..." Ancestors ANY Queries is_ipv4_stack_preferred: BOOLEAN is_ipv6_available: BOOLEAN Commands set_ipv4_stack_preferred (preference: BOOLEAN) Constraints exclusive
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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