Here is a list of all documented functions with links to the class documentation for each member:

- d -

• definitional_convert_to_cnf_clauses() : FOF
• depth_limited() : StackProver
• deterministic_reorder() : Matrix, StackProver
• distribute_and() : FOF
• distribute_and_once() : FOF
• distribute_or() : FOF
• distribute_or_once() : FOF
• dnf_invert_and_convert_to_clauses() : FOF
• drop_literal() : Clause