Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
ProofPrinter Member List

This is the complete list of members for ProofPrinter, including all inherited members.

clear()ProofPrinterinline
make_internal() constProofPrinter
make_LaTeX(const path &, const path &, const string &)ProofPrinter
make_LaTeX_state(StackItem *) constProofPrinterprivate
make_LaTeX_subtree(StackItem *) constProofPrinterprivate
make_Prolog(const path &)ProofPrinter
pProofPrinterprivate
ProofPrinter()ProofPrinterinline
ProofPrinter(vector< StackItem > *_p)ProofPrinterinline
set_proof(vector< StackItem > *_p)ProofPrinterinline
show_Prolog()ProofPrinter
show_tptp()ProofPrinter