Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
PredicateIndex Member List

This is the complete list of members for PredicateIndex, including all inherited members.

add_predicate(const string &, Arity)PredicateIndex
find_maximum_arity() constPredicateIndex
find_predicate(const string &, Arity)PredicateIndex
get_num_preds() constPredicateIndexinline
make_definitional_predicate(Arity arity)PredicateIndexinline
name_indexPredicateIndexprivate
next_definitional_idPredicateIndexprivate
next_indexPredicateIndexprivate
operator<< (defined in PredicateIndex)PredicateIndexfriend
operator=(const PredicateIndex &)=delete (defined in PredicateIndex)PredicateIndex
operator=(const PredicateIndex &&)=delete (defined in PredicateIndex)PredicateIndex
operator[](size_t i)PredicateIndexinline
PredicateIndex() (defined in PredicateIndex)PredicateIndex
PredicateIndex(const PredicateIndex &)=deletePredicateIndex
PredicateIndex(const PredicateIndex &&)=delete (defined in PredicateIndex)PredicateIndex
predsPredicateIndexprivate
true_false_added() constPredicateIndex
~PredicateIndex() (defined in PredicateIndex)PredicateIndex