Public Member Functions | Static Public Member Functions | Protected Member Functions | Static Protected Member Functions | Friends
BooleanVar Class Reference
Inheritance diagram for BooleanVar:
Leaf CNode

List of all members.

Public Member Functions

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

Static Public Member Functions

static BooleanVarmake ()
static BooleanVarmake (const string &name)

Protected Member Functions

 BooleanVar (const string &name)

Static Protected Member Functions

static void clear ()


class CNode
class boost::serialization::access

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