|
Connect++ 0.1
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 |
| 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 | |
| true_false_added() const | PredicateIndex | |
| ~PredicateIndex() (defined in PredicateIndex) | PredicateIndex |
1.9.7