Predicates calling retract

Predicates

a

  • add_abort_error2/8
  • add_additional_filename/2
  • assert_visb_empty_svg_box_height_width/4
  • assert_visb_event/8
  • assert_visb_hover/5
  • assert_visb_hover/5

    • g

  • get_value_kind/4
  • ground_inner_wait_flags_in_context/2

    • p

  • pyconnect/1

    • r

  • 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