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

List of all members.

Public Member Functions

virtual bool operator== (const CNode &other)
virtual CNodesubstitute (map< Term *, Term * > &subs)
virtual string to_string ()

Static Public Member Functions

static CNodemake ()

Friends

class boost::serialization::access
class CNode

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