Public Member Functions | Static Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | Static Protected Attributes | Private Attributes

spot::ltl::atomic_prop Class Reference
[LTL Abstract Syntax Tree]

Atomic propositions. More...

#include <ltlast/atomic_prop.hh>

Inheritance diagram for spot::ltl::atomic_prop:
Inheritance graph
[legend]
Collaboration diagram for spot::ltl::atomic_prop:
Collaboration graph
[legend]

List of all members.

Public Member Functions

virtual void accept (visitor &visitor)
 Entry point for vspot::ltl::visitor instances.
virtual void accept (const_visitor &visitor) const
 Entry point for vspot::ltl::const_visitor instances.
const std::string & name () const
 Get the name of the atomic proposition.
environmentenv () const
 Get the environment of the atomic proposition.
virtual std::string dump () const
 Return a canonic representation of the atomic proposition.
formulaclone () const
 clone this node
void destroy () const
 release this node
size_t hash () const
 Return a hash key for the formula.

Static Public Member Functions

static atomic_propinstance (const std::string &name, environment &env)
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::pair< std::string,
environment * > 
pair
typedef std::map< pair,
atomic_prop * > 
map

Protected Member Functions

 atomic_prop (const std::string &name, environment &env)
virtual ~atomic_prop ()
void ref_ ()
 increment reference counter if any
bool unref_ ()
 decrement reference counter if any, return true when the instance must be deleted (usually when the counter hits 0).
unsigned ref_count_ ()
 Number of references to this formula.

Protected Attributes

size_t count_
 The hash key of this formula.

Static Protected Attributes

static map instances

Private Attributes

std::string name_
environmentenv_

Detailed Description

Atomic propositions.


Member Typedef Documentation

typedef std::map<pair, atomic_prop*> spot::ltl::atomic_prop::map [protected]
typedef std::pair<std::string, environment*> spot::ltl::atomic_prop::pair [protected]

Constructor & Destructor Documentation

spot::ltl::atomic_prop::atomic_prop ( const std::string &  name,
environment env 
) [protected]
virtual spot::ltl::atomic_prop::~atomic_prop (  )  [protected, virtual]

Member Function Documentation

virtual void spot::ltl::atomic_prop::accept ( visitor v  )  [virtual]

Entry point for vspot::ltl::visitor instances.

Implements spot::ltl::formula.

virtual void spot::ltl::atomic_prop::accept ( const_visitor v  )  const [virtual]

Entry point for vspot::ltl::const_visitor instances.

Implements spot::ltl::formula.

formula* spot::ltl::formula::clone (  )  const [inherited]

clone this node

This increments the reference counter of this node (if one is used).

void spot::ltl::formula::destroy (  )  const [inherited]

release this node

This decrements the reference counter of this node (if one is used) and can free the object.

Referenced by spot::taa_tgba_labelled< std::string, string_hash >::add_acceptance_condition(), and spot::tgba_explicit_labelled< std::string, string_hash >::declare_acceptance_condition().

virtual std::string spot::ltl::atomic_prop::dump (  )  const [virtual]

Return a canonic representation of the atomic proposition.

Implements spot::ltl::formula.

static std::ostream& spot::ltl::atomic_prop::dump_instances ( std::ostream &  os  )  [static]

List all instances of atomic propositions. For debugging.

environment& spot::ltl::atomic_prop::env (  )  const

Get the environment of the atomic proposition.

size_t spot::ltl::formula::hash (  )  const [inline, inherited]
static atomic_prop* spot::ltl::atomic_prop::instance ( const std::string &  name,
environment env 
) [static]

Build an atomic proposition with name name in environment env.

static unsigned spot::ltl::atomic_prop::instance_count (  )  [static]

Number of instantiated atomic propositions. For debugging.

const std::string& spot::ltl::atomic_prop::name (  )  const

Get the name of the atomic proposition.

void spot::ltl::ref_formula::ref_ (  )  [protected, virtual, inherited]

increment reference counter if any

Reimplemented from spot::ltl::formula.

unsigned spot::ltl::ref_formula::ref_count_ (  )  [protected, inherited]

Number of references to this formula.

bool spot::ltl::ref_formula::unref_ (  )  [protected, virtual, inherited]

decrement reference counter if any, return true when the instance must be deleted (usually when the counter hits 0).

Reimplemented from spot::ltl::formula.


Member Data Documentation

size_t spot::ltl::formula::count_ [protected, inherited]

The hash key of this formula.

Referenced by spot::ltl::formula::hash().

std::string spot::ltl::atomic_prop::name_ [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:54 for spot by doxygen 1.7.1