Predicates calling retract

Predicates

a

  • add_abort_error2/8
  • add_additional_filename/2
  • assert_visb_empty_svg_box_height_width/4
  • assert_visb_enabling_item_list/5
  • assert_visb_hover/6
  • assert_visb_hover/6

    • b

  • b_load_additional_definitions_file/1

    • c

  • compute_auto_attribute/4

    • f

  • find_constant_expressions_in_operations/2

    • g

  • get_value_kind/4
  • ground_inner_wait_flags_in_context/2

    • p

  • process_option/1
  • pyconnect/1

    • r

  • register_constant_expression/5
  • register_constant_expression/5
  • register_prover_result/3

    • s

  • set_id_namespace_prefix/1
  • smt_add_cnf/3
  • smt_add_cnf/3
  • smt_add_extra_clause_cnf/2

    • t

  • tcltk_get_options_or_candidates/1
  • tcltk_load_refine_spec_file/1
  • try_set_parser_option/3

    • u

  • update_forward_history/1