Name: platform_is_64_bit/0
Name: max_tagged_integer/1
Name: max_tagged_pow2/1
Name: is_tagged_integer/1
Name: host_platform/1
Name: map_host_platform/2
Name: host_processor/1
Name: map_host_processor/2
host_platform(Res) :- current_prolog_flag(host_type,HostType), atom_codes(HostType,AsciiList), map_host_platform(AsciiList,Res),!.
Calls:
Name: !
Name: atom_codes/2
Name: current_prolog_flag/2
Called:
Name: is_a_file_path/1
Name: get_path_separator/1
Name: replace_windows_path_backslashes/2
Name: get_tcl_expected_extension/1
Name: is_ltl2ba_tool_installed/1
Name: preference_default_value/2
Name: missing_parser_diagnostics/0
Name: install_lib_component/2
Name: get_binary_extensions/1
Name: group_cannot_be_checked_on_ci_server/1
Name: add_file_suffix/3
Name: print_tcl_infos/0
Name: conflict_driven_clause_learning_online_grounding/6
Name: go/0
Name: host_file_name_case_insensitive/0
Name: print_host_version/1
Name: possible_program/2
host_processor(Res) :- current_prolog_flag(host_type,HostType), atom_codes(HostType,AsciiList), map_host_processor(AsciiList,Res),!.
is_tagged_integer(X) :- current_prolog_flag(max_tagged_integer,Lim), X =< Lim, current_prolog_flag(min_tagged_integer,Low), X >= Low.
Name: >=/2
Name: =</2
Name: no_overflow/1
Name: efficient_index/1
map_host_platform(HT,Platform) :- % Split at first '-' to remove the architecture prefix append(_,[0'-|HT2],HT), !, (phrase(map_host_platform1(Platform),HT2,_) -> true ; Platform = unknown).
Name: =/2
Name: true
Name: phrase/3
Name: ->/3
Name: append/3
map_host_platform1(darwin) --> "darwin". map_host_platform1(windows) --> "win". map_host_platform1(linux) --> "linux".
map_host_proc1(aarch64) --> "arm64". map_host_proc1(aarch64) --> "aarch64". map_host_proc1(x86_64) --> "x64". map_host_proc1(x86_64) --> "x86_64", !. map_host_proc1(x86) --> "x86". map_host_proc1(x86) --> "i386".
map_host_processor(HT,Processor) :- % Split at first '-' to remove the platform/os sufffix append(HT1,[0'-|_],HT), !, (phrase(map_host_proc1(Processor),HT1,_) -> true ; Processor = unknown).
max_tagged_integer(X) :- current_prolog_flag(max_tagged_integer,X).
Name: recognised_option/4
Name: mc_ok_arg/2
Name: integer_priority/1
Name: last_priority/1
max_tagged_pow2(Exp) :- current_prolog_flag(max_tagged_integer,X), Exp is msb(X) + 1.
Name: is/2
Name: last_finite_pow2_prio_exponent/1
Name: fd_type_can_be_packed_to_bv/1
platform_is_64_bit :- max_tagged_pow2(Exp), Exp > 32.
Name: >/2
Name: cli_check_statespace_hash/2