Inheritance diagram for VariableTerm:
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 Term * | substitute (map< Term *, Term * > &subs) |
Static Public Member Functions | |
| static Term * | make (int id) |
| static Term * | make (string name) |
Friends | |
| class | boost::serialization::access |
The documentation for this class was generated from the following files:
- term/VariableTerm.h
- term/VariableTerm.cpp
