Public Member Functions | Static Public Member Functions | Public Attributes | Protected Member Functions | Friends
FunctionTerm Class Reference
Inheritance diagram for FunctionTerm:

List of all members.

Public Member Functions

template<class Archive >
void save (Archive &ar, const unsigned int version) const
template<class Archive >
void load (Archive &ar, const unsigned int version)
 FunctionTerm (int id, const vector< Term * > &args, bool invertible, int attribute=0)
virtual bool operator== (const Term &other)
virtual string to_string ()
int get_id () const
bool is_invertible ()
string get_name ()
virtual Termsubstitute (map< Term *, Term * > &subs)
const vector< Term * > & get_args ()
int get_id_attribute () const

Static Public Member Functions

static Termmake (int id, vector< Term * > &args, bool invertible)
static Termmake (string name, vector< Term * > &args, bool invertible)

Public Attributes

int fun_id
vector< Term * > args
bool invertible

Protected Member Functions

 FunctionTerm (int id, Term *arg, bool invertible, int attribute=0)
 FunctionTerm (int id, Term *arg1, Term *arg2, bool invertible, int attribute=0)
void compute_hash_code ()


class Address
class StringLiteral
class ProgramFunction
class TypeConstant
class boost::serialization::access

The documentation for this class was generated from the following files: