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