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