 |
Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
|
|
Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for TermIndex, including all inherited members.
| add_function_term(Function *, const vector< Term * > &) | TermIndex | |
| add_variable_term(Variable *) | TermIndex | |
| find(const Term &) | TermIndex | private |
| get_size() const | TermIndex | inline |
| operator<< (defined in TermIndex) | TermIndex | friend |
| operator=(const TermIndex &)=delete (defined in TermIndex) | TermIndex | |
| operator=(const TermIndex &&)=delete (defined in TermIndex) | TermIndex | |
| replace_variable_in_term(Variable *, Variable *, Term *) | TermIndex | |
| replace_variable_in_term_with_term(Term *, Variable *, Term *) | TermIndex | |
| term_pointers | TermIndex | private |
| TermIndex() (defined in TermIndex) | TermIndex | inline |
| TermIndex(const TermIndex &)=delete | TermIndex | |
| TermIndex(const TermIndex &&)=delete (defined in TermIndex) | TermIndex | |
| ~TermIndex() (defined in TermIndex) | TermIndex |
1.10.0