spot::symbol Class Reference
#include <evtgba/symbol.hh>
List of all members.
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_ |
Member Typedef Documentation
Constructor & Destructor Documentation
spot::symbol::symbol |
( |
const std::string * |
name |
) |
[protected] |
spot::symbol::~symbol |
( |
|
) |
[protected] |
spot::symbol::symbol |
( |
const symbol & |
|
) |
[private] |
Member Function Documentation
static std::ostream& spot::symbol::dump_instances |
( |
std::ostream & |
os |
) |
[static] |
List all instances of atomic propositions. For debugging.
static const symbol* spot::symbol::instance |
( |
const std::string & |
name |
) |
[static] |
static unsigned spot::symbol::instance_count |
( |
|
) |
[static] |
Number of instantiated atomic propositions. For debugging.
const std::string& spot::symbol::name |
( |
|
) |
const |
void spot::symbol::ref |
( |
|
) |
const |
int spot::symbol::ref_count_ |
( |
|
) |
const [protected] |
void spot::symbol::unref |
( |
|
) |
const |
Member Data Documentation
The documentation for this class was generated from the following file: