|
Connect++ 0.1
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for StackProver, including all inherited members.
| add_equality_axioms(Predicate *) | StackProver | |
| deterministic_reorder(uint32_t n) | StackProver | inline |
| get_indexes() | StackProver | inline |
| get_status() const | StackProver | inline |
| operator<< (defined in StackProver) | StackProver | friend |
| operator=(const StackProver &)=delete (defined in StackProver) | StackProver | |
| operator=(const StackProver &&)=delete (defined in StackProver) | StackProver | |
| prove() | StackProver | |
| read_from_tptp_file(const string &, bool &, size_t &) | StackProver | |
| set_num_preds(size_t) | StackProver | |
| set_problem_path(fs::path &p) | StackProver | inline |
| set_timeout(chrono::steady_clock::time_point time) | StackProver | inline |
| show_matrix() | StackProver | inline |
| show_matrix() const (defined in StackProver) | StackProver | inline |
| show_path() const (defined in StackProver) | StackProver | inline |
| show_right_stack() (defined in StackProver) | StackProver | |
| show_stack() (defined in StackProver) | StackProver | |
| show_statistics() const (defined in StackProver) | StackProver | |
| show_term_index() (defined in StackProver) | StackProver | inline |
| StackProver() | StackProver | |
| StackProver(const StackProver &)=delete | StackProver | |
| StackProver(const StackProver &&)=delete (defined in StackProver) | StackProver |
1.9.7