![]() |
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 |