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

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 const symbol* spot::symbol::instance

(

const std::string &

name

)

[static]

const std::string& spot::symbol::name

(

)

const

static unsigned spot::symbol::instance_count

(

)

[static]

Number of instantiated atomic propositions. For debugging.

static std::ostream& spot::symbol::dump_instances

(

std::ostream &

os

)

[static]

List all instances of atomic propositions. For debugging.

void spot::symbol::ref

(

)

const

void spot::symbol::unref

(

)

const

int spot::symbol::ref_count_

(

)

const [protected]

---

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:

• evtgba/symbol.hh

---

Please comment this page and report errors about it on the RefDocComments page.