|
Public Member Functions |
const std::string & | name () const |
void | ref () const |
void | unref () const |
Static Public Member Functions |
static const symbol * | instance (const std::string &name) |
static unsigned | instance_count () |
| Number of instantiated atomic propositions. For debugging.
|
static std::ostream & | dump_instances (std::ostream &os) |
| List all instances of atomic propositions. For debugging.
|
Protected Types |
typedef std::map< const std::string,
const symbol * > | map |
Protected Member Functions |
int | ref_count_ () const |
| symbol (const std::string *name) |
| ~symbol () |
Static Protected Attributes |
static map | instances_ |
Private Member Functions |
| symbol (const symbol &) |
Private Attributes |
const std::string * | name_ |
| Undefined.
|
int | refs_ |