|
Connect++ 0.1
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for ProofPrinter, including all inherited members.
| clear() | ProofPrinter | inline |
| make_LaTeX(const path &, const path &, const string &) | ProofPrinter | |
| make_Prolog(const path &) | ProofPrinter | |
| ProofPrinter() | ProofPrinter | inline |
| ProofPrinter(vector< StackItem > *_p) | ProofPrinter | inline |
| set_proof(vector< StackItem > *_p) | ProofPrinter | inline |
1.9.7