Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- addtolist(Arg1)
- getlist(Arg1)
- subs_build_clause(Arg1)
- msg_build_long_clause(Arg1)
- msg_build_heads(Arg1)
- msg_build_body(Arg1)
- annotate_redundancy(Arg1)
- abs_process_proofs(Arg1, Arg2)
- abs_build_body(Arg1)
- ident_process_proofs(Arg1, Arg2)
- ident_build_body(Arg1)
- g1_build_clause(Arg1, Arg2)
- g1_process_proofs(Arg1, Arg2)
- idev_build_clause1(Arg1)
- idev_build_clause(Arg1, Arg2)
- process_new_literals(Arg1, Arg2)
- sat_build_clause(Arg1, Arg2, Arg3)
- head(Arg1, Arg2, Arg3)
- body(Arg1, Arg2, Arg3)
- assumption(Arg1, Arg2, Arg3)
- assert_absorptions(Arg1, Arg2)
- assert_clause(Arg1)
- assert_body(Arg1)
- assert_body_unique(Arg1)
- assert_body_randomly(Arg1)
- cover_assert_assumptions(Arg1)
- retract_body_literals(Arg1)
- retract_literals(Arg1)
- assert_literals(Arg1)
- clear_mngr
- reset_counts
