#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 |
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
map spot::symbol::instances_ |
|
staticprotected |
const std::string* spot::symbol::name_ |
|
private |
The documentation for this class was generated from the following file: