Emphasized Predicates

  • Meta Predicates
  • Predicates calling retract

    • Predicates

    a

  • add_abort_error2/8
  • add_additional_filename/2
  • add_csp_process_id1/3
  • add_failed_call_error/1
  • add_internal_error/2
  • add_new_event_in_error_scope/2
  • analyse_quick_time_out/1
  • apply_rewrite_rule_with_rename/8
  • apply_transformation_step/4
  • assert_must_abort_wf/2
  • assert_must_fail/1
  • assert_must_succeed/1
  • assert_must_succeed_any/1
  • assert_must_succeed_multiple/1
  • assert_once/1
  • assert_post/2
  • assert_pre/2
  • assert_true/1
  • assert_visb_empty_svg_box_height_width/4
  • assert_visb_enabling_item_list/5
  • assert_visb_hover/6
  • asserta_once/1
  • at_least_once/4
  • at_least_once_no_whitespace/4
  • avl_map/2
  • avl_map/3
  • avl_map/2
  • avl_map/3

    • b

  • b_load_additional_definitions_file/1
  • block_findall_check/10
  • bt_asserta/1
  • bt_retract/1

    • c

  • c_call_ltl2ba/6
  • c_ltl_modelcheck/4
  • call_card_for_relations/3
  • call_for_event/2
  • call_in_fresh_error_scope_for_one_solution/1
  • call_optional/2
  • call_optional_aux/3
  • call_pp_with_no_limit_and_parseable/1
  • call_pred_on_expanded_state/4
  • call_probcli_option/1
  • call_residue/2
  • call_residue_check/1
  • call_with_enumeration_warning/1
  • call_with_preference/3
  • call_with_smt_mode_enabled/1
  • catch_and_ignore_clpfd_overflow/2
  • catch_and_ignore_well_definedness_error/2
  • catch_and_ignore_well_definedness_error/3
  • catch_clpfd_overflow_call1/1
  • catch_clpfd_overflow_call2/2
  • catch_clpfd_overflow_call3/3
  • catch_clpfd_overflow_call_for_state/4
  • catch_enumeration_warning/2
  • catch_enumeration_warning_and_overflow/2
  • catch_enumeration_warning_exceptions/2
  • catch_enumeration_warning_exceptions/3
  • catch_enumeration_warning_exceptions/4
  • catch_enumeration_warning_exceptions_and_wd_failures/5
  • catch_format_error/2
  • catch_interrupt_assertion_call/1
  • catch_interrupt_exception/2
  • catch_matching/3
  • catch_wd/3
  • check/2
  • check_det/1
  • check_det2/2
  • check_deterministic/1
  • check_exception_call/1
  • compute_auto_attribute/4
  • conv_aux/4
  • convlist_max/4
  • cvc4_interface_call/1

    • d

  • defspec/2
  • defspec_connective/4
  • defspec_pred/2
  • defspec_pred_recursive/4
  • delay_setof_check_wf/9
  • delay_setof_list_wf/5
  • delay_setof_wf/7
  • det_call/1
  • det_call_cleanup/2
  • det_check/1
  • det_check/2

    • e

  • enable_profiling/1
  • enable_profiling/2
  • enable_profiling_naming/2
  • enable_profiling_naming/3
  • eval_fairness/5
  • evaluate_ltl_fairness/6
  • evaluate_ltl_formula/6
  • exclude_and_collect_errors/5
  • exclude_count/4
  • exclude_count_aux/5
  • exhaustive_kernel_check_opt/2
  • exhaustive_kernel_fail_check_opt/2

    • f

  • filter/4
  • find_constant_expressions_in_operations/2
  • find_enabled_fairids/4
  • find_enabled_fairids_for_state/3
  • findall_keepvars/3
  • foldl/4
  • foldl/5
  • foldl/6
  • foldl2/4
  • foldl2/5
  • foldl2/6
  • force_det_call/1
  • fuzz/3
  • fuzz/4
  • fuzz/6

    • g

  • get_call_module/2
  • get_calls_for_table/2
  • get_options/4
  • get_options/5
  • get_value_kind/4
  • ground_inner_wait_flags_in_context/2

    • h

  • handle_representation_error/3

    • i

  • if_det_check/3
  • if_det_check_pp/4
  • if_option_set/2
  • if_option_set/3
  • if_option_set_loaded/3
  • if_options_set/2
  • ifm_option_set/2
  • ifm_option_set/3
  • ifm_option_set_loaded/3
  • ignore_user_interrupt_det/1
  • include_maplist/3
  • interruptable_call/1
  • interruptable_call/2
  • is_executed/3
  • is_executed2/3

    • k

  • kernel_call/4
  • kernel_call_or/5

    • l

  • l_nd_transform_bexpr_with_acc/5
  • l_transform_bexpr/3
  • l_transform_bexpr_with_acc/5
  • l_transform_bexpr_with_bup_accs/5
  • l_transform_bexpr_with_scoping/4
  • longest_satisfiable_prefix/4
  • longest_satisfiable_segment/5

    • m

  • map_optlist/2
  • map_optlist_aux/2
  • map_over/3
  • map_over_bexpr/2
  • map_over_bexpr_top_down_acc/3
  • map_over_full_bexpr_no_fail/2
  • map_over_history/2
  • map_over_raw_expr/3
  • map_over_typed_bexpr/2
  • map_over_typed_bexpr/3
  • map_over_typed_bexpr_top_down_acc/3
  • map_split_list/4
  • map_split_list2/4
  • map_translate/4
  • maplist5/5
  • maxsolver/3
  • maxsolver/4
  • maxsolver_by_longest_prefix/3
  • maxsolver_by_longest_segment/3
  • maxsolver_exact_with_marker/3
  • measured_call/2
  • mnf/1
  • mnf/2
  • mnf1/1
  • mnf_call/1
  • mnf_call_with_pp/2
  • mnf_det/1
  • module_info/2
  • multiple_times/4
  • multiple_times_no_whitespace/4
  • must_fail/1
  • must_succeed/1
  • must_succeed_multiple_without_residue/1
  • must_succeed_without_residue/1
  • must_succeed_without_residue_and_time_out/1
  • my_findall/4
  • my_findall_catch/5
  • my_findall_catch/6
  • my_findall_check/8
  • mycall/9

    • n

  • non_det_transform_bexpr_with_acc/5
  • nonvar_call/1
  • not_strict_eq_check/2
  • not_with_enum_warning/4
  • not_with_enum_warning2/4
  • not_with_enum_warning_and_possible_delay/5
  • not_with_enum_warning_delay/6

    • o

  • observe_enumeration_warnings/2
  • observe_ground/6
  • on_enumeration_warning/2
  • on_enumeration_warning_with_continue/3
  • open_cache_file/4

    • p

  • perfmessagecall/3
  • perfmessagecall/4
  • perfmessages_bexpr_call/4
  • plspec_some/3
  • post_constraint/2
  • post_constraint2/2
  • pp_cll/1
  • pp_mnf/1
  • prepost_call/1
  • prepost_mnf_call/1
  • print_size_of_table/1
  • printtime/1
  • probcli_clpfd_overflow_call1/1
  • probcli_clpfd_overflow_mnf_call1/1
  • process_option/1
  • process_repeat/4
  • profile_recursion/3
  • profile_single_call/2
  • profile_single_call/3
  • profile_single_call/4
  • protect_from_user_interrupt_det/1
  • pyconnect/1

    • r

  • read_compiled_prolog_file/3
  • real_comp_wf/5
  • real_comp_wf_aux/5
  • reduce_over_bexpr/4
  • reduce_selected_states/3
  • reduce_state_space/2
  • reduce_states/2
  • register_conjunct_error_hook/1
  • register_constant_expression/5
  • register_event_listener/3
  • register_parsing_call_back/1
  • register_prover_result/3
  • reproduce_test/4
  • reproduce_test/5
  • residue_check_call/1
  • retract_all_count/3
  • retract_if_exists/1
  • retract_once/1
  • rt_timeout_call/1

    • s

  • safe_call/1
  • safe_call/2
  • safe_call/3
  • safe_on_exception/3
  • safe_on_exception_silent/3
  • safe_time_out/3
  • safe_time_out_or_virtual_time_out/3
  • satisfiable_segment/5
  • set_error_handler/1
  • set_id_namespace_prefix/1
  • setof4/4
  • show_cache_file_contents_for_machine/4
  • simple_call_cleanup/2
  • sm_node_pred/7
  • smt_add_cnf/3
  • smt_add_extra_clause_cnf/2
  • smt_solver_interface_call/2
  • space_call/1
  • split_list/4
  • split_list2/4
  • split_list_idx/5
  • split_list_idx2/5
  • start_worker/5
  • string_escape/3
  • succeed_max_call/2
  • succeed_max_call_id/3

    • t

  • take_while/3
  • take_while1/3
  • tcltk_get_options_or_candidates/1
  • tcltk_load_refine_spec_file/1
  • tcltk_time_call/1
  • time/1
  • time_if_debug/1
  • time_out_and_catch_errors/3
  • time_out_call/1
  • time_out_call/2
  • time_out_constraint/2
  • time_out_with_enum_warning_for_findall/3
  • time_out_with_enum_warning_for_findall2/4
  • time_out_with_enum_warning_for_findall_in_current_error_scope/4
  • time_out_with_enum_warning_one_solution/3
  • time_out_with_enum_warning_one_solution/4
  • time_out_with_enum_warning_one_solution_no_new_error_scope/3
  • time_out_with_factor_call/3
  • time_out_with_factor_call/4
  • time_raw/4
  • time_with_msg/2
  • timeout_call/3
  • timer_call/1
  • timer_call/2
  • timer_call/1
  • timer_call/2
  • timer_det_call/2
  • transform_bexpr/3
  • transform_bexpr_td_with_scoping/3
  • transform_bexpr_with_acc/5
  • transform_bexpr_with_bup_accs/5
  • transform_bexpr_with_scoping/3
  • transform_bexpr_with_scoping2/4
  • try_call/3
  • try_post_constraint/1
  • try_set_parser_option/3

    • u

  • update_forward_history/1
  • user_interruptable_call_det/2

    • v

  • visit_tree/5

    • w

  • wall/1
  • wall/1
  • watch/1
  • watch/2
  • watch_det/2
  • with_language_mode/2
  • with_open_stream_to_codes/4
  • with_translation_mode/2

    • x

  • x_append_and_eval/3
  • x_existis_satisfiable_subset_of_length/5
  • x_false_subset/4
  • x_false_subset_til_true/5
  • x_longest_satisfiable_prefix/4
  • x_maxsolver_by_longest_segment/5
  • x_maxsolver_exact_with_marker/6
  • x_precalc/5
  • x_prepend_and_eval/3
  • x_satisfiable_subset_of_length/5

    • z

  • z3_interface_call/1

    • ~

  • ~~/1