![]() |
Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for PredicateIndex, including all inherited members.
| add_predicate(const string &, Arity) | PredicateIndex | |
| find_maximum_arity() const | PredicateIndex | |
| find_predicate(const string &, Arity) | PredicateIndex | |
| get_num_preds() const | PredicateIndex | inline |
| make_definitional_predicate(Arity arity) | PredicateIndex | inline |
| name_index | PredicateIndex | private |
| next_definitional_id | PredicateIndex | private |
| next_index | PredicateIndex | private |
| operator<< (defined in PredicateIndex) | PredicateIndex | friend |
| operator=(const PredicateIndex &)=delete (defined in PredicateIndex) | PredicateIndex | |
| operator=(const PredicateIndex &&)=delete (defined in PredicateIndex) | PredicateIndex | |
| operator[](size_t i) | PredicateIndex | inline |
| PredicateIndex() (defined in PredicateIndex) | PredicateIndex | |
| PredicateIndex(const PredicateIndex &)=delete | PredicateIndex | |
| PredicateIndex(const PredicateIndex &&)=delete (defined in PredicateIndex) | PredicateIndex | |
| preds | PredicateIndex | private |
| true_false_added() const | PredicateIndex | |
| ~PredicateIndex() (defined in PredicateIndex) | PredicateIndex |