Public Member Functions | Static Public Member Functions | Friends
VariableTerm Class Reference
Inheritance diagram for VariableTerm:

List of all members.

Public Member Functions

 VariableTerm (int var_id, int attribute=0)
virtual bool operator== (const Term &other)
virtual string to_string ()
int get_id_attribute () const
int get_var_id ()
string get_name ()
virtual Termsubstitute (map< Term *, Term * > &subs)

Static Public Member Functions

static Termmake (int id)
static Termmake (string name)


class boost::serialization::access

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