| arglist | c_term | |
| c_base() | c_base | |
| c_elements | c_base | [static] |
| c_term() | c_term | |
| count | c_term | [static] |
| deep_copy(c_term *copy, bool reindex=false) const | c_term | |
| deep_delete() | c_term | [virtual] |
| delete_us() | c_base | [static] |
| get_variables(set< string > &vars) const | c_term | |
| insert_list(const vector< c_term * > &list, const c_term *rest=0, const size_t start_index=0) | c_term | |
| list_empty | c_term | |
| list_head | c_term | |
| list_tail | c_term | |
| match_rest | c_term | |
| name | c_term | |
| negated | c_term | |
| num | c_term | |
| safety | c_base | [static] |
| set_safety(const bool safe) | c_base | [static] |
| type | c_term | |
| ~c_base() | c_base | [virtual] |
| ~c_term() | c_term |
1.3.9.1