Connect++ 0.1
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for Function, including all inherited members.
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 |
make_LaTeX() const | Function | |
operator<< | Function | friend |
operator=(const Function &)=delete (defined in Function) | Function | |
operator=(const Function &&)=delete (defined in Function) | Function | |
to_string() const | Function |