Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Function Member List

This is the complete list of members for Function, including all inherited members.

arity (defined in Function)Functionprivate
Function()Functioninlineprivate
Function(ID new_id) (defined in Function)Functioninlineprivate
Function(ID new_id, const string &new_name) (defined in Function)Functioninlineprivate
Function(ID new_id, const string &new_name, Arity new_arity) (defined in Function)Functioninlineprivate
Function(const Function &)=deleteFunction
Function(const Function &&)=delete (defined in Function)Function
FunctionIndex (defined in Function)Functionfriend
get_arity() constFunctioninline
get_name() constFunctioninline
id (defined in Function)Functionprivate
make_LaTeX() constFunction
name (defined in Function)Functionprivate
operator<<Functionfriend
operator=(const Function &)=delete (defined in Function)Function
operator=(const Function &&)=delete (defined in Function)Function
to_string() constFunction