spot::symbol Member List

This is the complete list of members for spot::symbol, including all inherited members.

dump_instances(std::ostream &os)	spot::symbol	[static]
instance(const std::string &name)	spot::symbol	[static]
instance_count()	spot::symbol	[static]
instances_	spot::symbol	[protected, static]
map typedef	spot::symbol	[protected]
name() const	spot::symbol
name_	spot::symbol	[private]
ref() const	spot::symbol
ref_count_() const	spot::symbol	[protected]
refs_	spot::symbol	[mutable, private]
symbol(const std::string *name)	spot::symbol	[protected]
symbol(const symbol &)	spot::symbol	[private]
unref() const	spot::symbol
~symbol()	spot::symbol	[protected]

---

Please comment this page and report errors about it on the RefDocComments page.