, including all inherited members.
| add(long int constant) (defined in Term) | Term | |
| add(Term *t) (defined in Term) | Term | |
| attribute (defined in Term) | Term | |
| boost::serialization::access (defined in Term) | Term | [friend] |
| clear() (defined in Term) | Term | [protected, static] |
| clear_representatives() (defined in Term) | Term | |
| CNode (defined in Term) | Term | [friend] |
| contains_term(Term *t) (defined in Term) | Term | |
| contains_term(set< Term * > &terms) (defined in Term) | Term | |
| contains_var(int var_id) (defined in Term) | Term | |
| contains_var() (defined in Term) | Term | |
| delete_loaded_terms() (defined in Term) | Term | [static] |
| evalute_term(map< Term *, SatValue > &assignments) (defined in Term) | Term | |
| flip_sign() (defined in Term) | Term | |
| get_all_arguments(int fun_id, int arg_num, set< Term * > &args) (defined in Term) | Term | |
| get_all_first_arguments(set< int > &fn_ids, map< int, set< Term * > > &fn_id_to_first_arg) (defined in Term) | Term | |
| get_all_fun_ids(set< int > &ids) (defined in Term) | Term | |
| get_attribute() (defined in Term) | Term | [inline] |
| get_attribute_string() (defined in Term) | Term | [inline] |
| get_attributes(set< CNode * > &attributes) (defined in Term) | Term | |
| get_nested_terms(set< Term * > &terms, bool include_function_subterms=true, bool include_constants=true) (defined in Term) | Term | |
| get_nested_vars(set< int > &vars) (defined in Term) | Term | |
| get_specialization() (defined in Term) | Term | [inline] |
| get_term(Term *t) (defined in Term) | Term | [static] |
| get_term_nodelete(Term *t) (defined in Term) | Term | [static] |
| get_term_type() (defined in Term) | Term | [inline] |
| get_vars(set< string > &vars) (defined in Term) | Term | |
| get_vars(set< int > &vars) (defined in Term) | Term | |
| get_vars(set< Term * > &vars) (defined in Term) | Term | |
| hash_c (defined in Term) | Term | |
| hash_code() (defined in Term) | Term | [inline] |
| is_specialized() (defined in Term) | Term | [inline] |
| load(Archive &ar, const unsigned int version) (defined in Term) | Term | [inline] |
| multiply(long int factor) (defined in Term) | Term | |
| multiply(Term *t) (defined in Term) | Term | |
| operator==(const Term &other)=0 (defined in Term) | Term | [pure virtual] |
| rename_variable(int old_var_id, int new_var_id) (defined in Term) | Term | |
| rename_variables(map< int, int > &replacements) (defined in Term) | Term | |
| replace_argument(int fun_id, int arg_num, Term *replacement) (defined in Term) | Term | |
| replace_first_argument(map< int, Term * > &fun_id_to_replacements) (defined in Term) | Term | |
| replace_term(Term *old_term, Term *new_term) (defined in Term) | Term | |
| representative (defined in Term) | Term | |
| save(Archive &ar, const unsigned int version) const (defined in Term) | Term | [inline] |
| set_attribute(term_attribute_type ta) (defined in Term) | Term | |
| shares_subterms(Term *other) (defined in Term) | Term | |
| specialization_type (defined in Term) | Term | |
| substitute(map< Term *, Term * > &subs)=0 (defined in Term) | Term | [pure virtual] |
| substitute(Term *(*sub_func)(Term *t)) (defined in Term) | Term | |
| substitute(Term *(*sub_func)(Term *t, void *data), void *my_data) (defined in Term) | Term | [virtual] |
| subtract(Term *t) (defined in Term) | Term | |
| Term() (defined in Term) | Term | [inline, protected] |
| terms (defined in Term) | Term | [static] |
| to_delete (defined in Term) | Term | [static] |
| to_string()=0 (defined in Term) | Term | [pure virtual] |
| type (defined in Term) | Term | |
| uniquify_term(Term *t) (defined in Term) | Term | [static] |
| ~Term() (defined in Term) | Term | [virtual] |
