#include <evtgba/symbol.hh>
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_ |
typedef std::map<const std::string, const symbol*> spot::symbol::map [protected] |
spot::symbol::symbol | ( | const std::string * | name | ) | [protected] |
spot::symbol::~symbol | ( | ) | [protected] |
spot::symbol::symbol | ( | const symbol & | ) | [private] |
static const symbol* spot::symbol::instance | ( | const std::string & | name | ) | [static] |
const std::string& spot::symbol::name | ( | ) | const |
static unsigned spot::symbol::instance_count | ( | ) | [static] |
Number of instantiated atomic propositions. For debugging.
static std::ostream& spot::symbol::dump_instances | ( | std::ostream & | os | ) | [static] |
List all instances of atomic propositions. For debugging.
void spot::symbol::ref | ( | ) | const |
void spot::symbol::unref | ( | ) | const |
int spot::symbol::ref_count_ | ( | ) | const [protected] |
map spot::symbol::instances_ [static, protected] |
const std::string* spot::symbol::name_ [private] |
Undefined.
int spot::symbol::refs_ [mutable, private] |