FunctionTerm Member List
This is the complete list of members for FunctionTerm, including all inherited members.
add(long int constant) (defined in Term)Term
add(Term *t) (defined in Term)Term
Address (defined in FunctionTerm)FunctionTerm [friend]
args (defined in FunctionTerm)FunctionTerm
attribute (defined in Term)Term
boost::serialization::access (defined in FunctionTerm)FunctionTerm [friend]
clear() (defined in Term)Term [protected, static]
clear_representatives() (defined in Term)Term
compute_hash_code() (defined in FunctionTerm)FunctionTerm [protected]
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
fun_id (defined in FunctionTerm)FunctionTerm
FunctionTerm(int id, const vector< Term * > &args, bool invertible, int attribute=0) (defined in FunctionTerm)FunctionTerm
FunctionTerm() (defined in FunctionTerm)FunctionTerm [inline, protected]
FunctionTerm(int id, Term *arg, bool invertible, int attribute=0) (defined in FunctionTerm)FunctionTerm [protected]
FunctionTerm(int id, Term *arg1, Term *arg2, bool invertible, int attribute=0) (defined in FunctionTerm)FunctionTerm [protected]
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_args() (defined in FunctionTerm)FunctionTerm [inline]
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() const (defined in FunctionTerm)FunctionTerm [inline]
get_id_attribute() const (defined in FunctionTerm)FunctionTerm [inline]
get_name() (defined in FunctionTerm)FunctionTerm
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]
invertible (defined in FunctionTerm)FunctionTerm
is_invertible() (defined in FunctionTerm)FunctionTerm [inline]
is_specialized() (defined in Term)Term [inline]
load(Archive &ar, const unsigned int version) (defined in FunctionTerm)FunctionTerm [inline]
make(int id, vector< Term * > &args, bool invertible) (defined in FunctionTerm)FunctionTerm [static]
make(string name, vector< Term * > &args, bool invertible) (defined in FunctionTerm)FunctionTerm [static]
multiply(long int factor) (defined in Term)Term
multiply(Term *t) (defined in Term)Term
operator==(const Term &other) (defined in FunctionTerm)FunctionTerm [virtual]
ProgramFunction (defined in FunctionTerm)FunctionTerm [friend]
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 FunctionTerm)FunctionTerm [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
StringLiteral (defined in FunctionTerm)FunctionTerm [friend]
substitute(map< Term *, Term * > &subs) (defined in FunctionTerm)FunctionTerm [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 FunctionTerm)FunctionTerm [virtual]
type (defined in Term)Term
TypeConstant (defined in FunctionTerm)FunctionTerm [friend]
uniquify_term(Term *t) (defined in Term)Term [static]
~FunctionTerm() (defined in FunctionTerm)FunctionTerm [protected, virtual]
~Term() (defined in Term)Term [virtual]