- Direct parents
- insert list: ANY
- Known children
- inherit list: AGENT_ARGS, AGENT_CREATION, CLASS_NAME, CLASS_TEXT, FEATURE_NAME, FEATURE_STAMP, GRAPH_NODE, HASHED_STRING, LIVE_TYPE, MANIFEST_GENERIC, MANIFEST_STRING, NATIVE_PLUG_IN, PLUGIN, RUN_FEATURE
- insert list: ABSOLUTE_FEATURE_NAME
ensure
-
good_hash_value: Result >= 0
is_equal (other: HASHABLE):
BOOLEAN
deferred function
require
ensure
- Result implies hash_code = other.hash_code
-
commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)