VariableTerm Member List
This is the complete list of members for VariableTerm, 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 VariableTerm)VariableTerm [friend]
clear() (defined in Term)Term [protected, static]
clear_representatives() (defined in Term)Term
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_id_attribute() const (defined in VariableTerm)VariableTerm [inline]
get_name() (defined in VariableTerm)VariableTerm
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_var_id() (defined in VariableTerm)VariableTerm [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]
make(int id) (defined in VariableTerm)VariableTerm [static]
make(string name) (defined in VariableTerm)VariableTerm [static]
multiply(long int factor) (defined in Term)Term
multiply(Term *t) (defined in Term)Term
operator==(const Term &other) (defined in VariableTerm)VariableTerm [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
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) (defined in VariableTerm)VariableTerm [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() (defined in VariableTerm)VariableTerm [virtual]
type (defined in Term)Term
uniquify_term(Term *t) (defined in Term)Term [static]
VariableTerm() (defined in VariableTerm)VariableTerm [inline, protected]
VariableTerm(int var_id, int attribute=0) (defined in VariableTerm)VariableTerm
~Term() (defined in Term)Term [virtual]
~VariableTerm() (defined in VariableTerm)VariableTerm [virtual]