List of all items

Structs

• elaborate::DemodStep
• elaborate::ElaboratedProof
• elaborate::OrientedRule
• elaborate::RewritePosition

Enums

• elaborate::AtomSide
• elaborate::ElaborationError

Functions

• elaborate::collect_all_positions
• elaborate::elaborate
• elaborate::extract_oriented_rules
• elaborate::get_subterm
• elaborate::get_subterm_in_clause
• elaborate::reconstruct_demodulation
• elaborate::replace_subterm
• elaborate::replace_subterm_in_clause
• elaborate::topological_sort
• extract::extract_interned_proof
• extract::extract_proof
• extract::extract_proof_ids
• extract::extract_proof_nodes
• tstp::format_tstp
• tstp::format_tstp_bounded
• tstp::set_problem_path
• tstp::write_tstp