spot  1.0
Public Member Functions | Static Public Member Functions | Protected Types | Protected Member Functions | Static Protected Attributes | Private Member Functions | Private Attributes | List of all members
spot::symbol Class Reference

#include <evtgba/symbol.hh>

Collaboration diagram for spot::symbol:
Collaboration graph

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_
staticprotected
const std::string* spot::symbol::name_
private

Undefined.

int spot::symbol::refs_
mutableprivate

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 Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2