Inheritance diagram for FunctionTerm:
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 Term * | substitute (map< Term *, Term * > &subs) |
| const vector< Term * > & | get_args () |
| int | get_id_attribute () const |
Static Public Member Functions | |
| static Term * | make (int id, vector< Term * > &args, bool invertible) |
| static Term * | make (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 () |
Friends | |
| class | Address |
| class | StringLiteral |
| class | ProgramFunction |
| class | TypeConstant |
| class | boost::serialization::access |
The documentation for this class was generated from the following files:
- term/FunctionTerm.h
- term/FunctionTerm.cpp
