note description: "Objects that ..." author: "" date: "$Date$" revision: "$Revision$" class INET_PROPERTIES feature -- Access frozen is_ipv6_available: BOOLEAN external "C" alias "en_ipv6_available" end frozen is_ipv4_stack_preferred: BOOLEAN external "C" alias "en_get_prefer_ipv4" end frozen set_ipv4_stack_preferred (preference: BOOLEAN) external "C" alias "en_set_prefer_ipv4" end invariant exclusive: is_ipv4_stack_preferred implies not is_ipv6_available end