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