spot  0.8.2
Public Member Functions | Static Public Member Functions | Protected Types | Protected Member Functions | Static Protected Attributes | Private Member Functions | Private Attributes
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 symbolinstance (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

typedef std::map<const std::string, const symbol*> spot::symbol::map [protected]

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

Referenced by spot::rsymbol::rsymbol().

int spot::symbol::ref_count_ ( ) const [protected]
void spot::symbol::unref ( ) const

Referenced by spot::rsymbol::~rsymbol().


Member Data Documentation

map spot::symbol::instances_ [static, protected]
const std::string* spot::symbol::name_ [private]

Undefined.

int spot::symbol::refs_ [mutable, private]

The documentation for this class was generated from the following file:

Please comment this page and report errors about it on the RefDocComments page.
Generated on Thu Jan 19 2012 19:33:04 for spot by doxygen 1.7.6.1