 |
Connect++ 0.4.0
A fast, readable connection prover for first-order logic.
|
|
Connect++ 0.4.0
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for FunctionIndex, including all inherited members.
| add_function(const string &, Arity) | FunctionIndex | |
| find_function(const string &, Arity) | FunctionIndex | |
| find_maximum_arity() const | FunctionIndex | |
| find_minimum_arity() const | FunctionIndex | |
| FunctionIndex() (defined in FunctionIndex) | FunctionIndex | |
| FunctionIndex(const FunctionIndex &)=delete | FunctionIndex | |
| FunctionIndex(const FunctionIndex &&)=delete (defined in FunctionIndex) | FunctionIndex | |
| funs | FunctionIndex | private |
| get_size() const | FunctionIndex | inline |
| make_skolem_function(Arity) | FunctionIndex | |
| name_index | FunctionIndex | private |
| next_index | FunctionIndex | private |
| operator<< (defined in FunctionIndex) | FunctionIndex | friend |
| operator=(const FunctionIndex &)=delete (defined in FunctionIndex) | FunctionIndex | |
| operator=(const FunctionIndex &&)=delete (defined in FunctionIndex) | FunctionIndex | |
| operator[](size_t i) | FunctionIndex | inline |
| skolem_function_number | FunctionIndex | private |
| ~FunctionIndex() (defined in FunctionIndex) | FunctionIndex |
1.10.0