Inheritance diagram for ConstantTerm:
Public Member Functions | |
| ConstantTerm (long int c) | |
| virtual bool | operator== (const Term &other) |
| virtual string | to_string () |
| virtual Term * | substitute (map< Term *, Term * > &subs) |
| long int | get_constant () |
Static Public Member Functions | |
| static Term * | make (long int c) |
Friends | |
| class | boost::serialization::access |
The documentation for this class was generated from the following files:
- term/ConstantTerm.h
- term/ConstantTerm.cpp
