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 Tue Feb 1 2011 12:00:53 for spot by doxygen 1.7.1