ensure
-
good_hash_value: Result >= 0
is_equal (other: GRAPH_NODE):
BOOLEAN
effective function
require
ensure
-
commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
- Result implies hash_code = other.hash_code
fz_conf_invariant_check:
STRING
constant attribute
fz_conf_smarteiffel_options:
STRING
constant attribute
fz_conf_compiler_options:
STRING
constant attribute
fz_conf_linker_options:
STRING
constant attribute
fz_conf_cpp_compiler_type:
STRING
constant attribute
fz_conf_cpp_compiler_path:
STRING
constant attribute
fz_conf_cpp_compiler_options:
STRING
constant attribute
fz_conf_cpp_linker_path:
STRING
constant attribute
fz_conf_cpp_strip_path:
STRING
constant attribute
fz_conf_cpp_linker_options:
STRING
constant attribute
fz_conf_java_jar_binary:
STRING
constant attribute
fz_conf_java_jvm_binary:
STRING
constant attribute
fz_conf_java_java_compiler:
STRING
constant attribute