|
Connect++ 0.1
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for Predicate, including all inherited members.
| get_arity() const | Predicate | inline |
| get_ID() const | Predicate | inline |
| get_name() const | Predicate | inline |
| is_compatible_with(const Predicate &) const | Predicate | |
| make_LaTeX() const | Predicate | |
| operator<< | Predicate | friend |
| operator=(const Predicate &)=delete (defined in Predicate) | Predicate | |
| operator=(const Predicate &&)=delete (defined in Predicate) | Predicate | |
| Predicate(const Predicate &)=delete | Predicate | |
| Predicate(const Predicate &&)=delete (defined in Predicate) | Predicate | |
| PredicateIndex (defined in Predicate) | Predicate | friend |
| to_string() const | Predicate |
1.9.7