arglist | c_term | |
c_base() | c_base | |
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(std::set< std::string > &vars) const | c_term | |
insert_list(const std::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 | |
set_safety(const bool safe) | c_base | [static] |
sort_before(const c_term *t) const | c_term | |
sort_same(const c_term *t) const | c_term | |
sorted_terms | c_term | [mutable] |
type | c_term | |
~c_base() | c_base | [virtual] |
~c_term() | c_term |