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