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

- d -

• d : Clause, Matrix
• definitional_convert_to_cnf_clauses() : FOF
• depth : StackItem
• depth_limit_reached : StackProver
• 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