![]() |
Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for Predicate, including all inherited members.
arity (defined in Predicate) | Predicate | private |
get_arity() const | Predicate | inline |
get_ID() const | Predicate | inline |
get_name() const | Predicate | inline |
id (defined in Predicate) | Predicate | private |
is_compatible_with(const Predicate &) const | Predicate | |
make_LaTeX() const | Predicate | |
name (defined in Predicate) | Predicate | private |
operator<< | Predicate | friend |
operator=(const Predicate &)=delete (defined in Predicate) | Predicate | |
operator=(const Predicate &&)=delete (defined in Predicate) | Predicate | |
Predicate() | Predicate | inlineprivate |
Predicate(ID new_id) (defined in Predicate) | Predicate | inlineprivate |
Predicate(ID new_id, const string &new_name) (defined in Predicate) | Predicate | inlineprivate |
Predicate(ID new_id, const string &new_name, Arity new_arity) (defined in Predicate) | Predicate | inlineprivate |
Predicate(const Predicate &)=delete | Predicate | |
Predicate(const Predicate &&)=delete (defined in Predicate) | Predicate | |
PredicateIndex (defined in Predicate) | Predicate | friend |
to_string() const | Predicate |