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

A constant (True or False). More...

#include <ltlast/constant.hh>

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

List of all members.

Public Types

enum  type { False, True }

Public Member Functions

virtual void accept (visitor &v)
 Entry point for vspot::ltl::visitor instances.
virtual void accept (const_visitor &v) const
 Entry point for vspot::ltl::const_visitor instances.
type val () const
 Return the value of the constant.
const char * val_name () const
 Return the value of the constant as a string.
virtual std::string dump () const
 Return a canonic representation of the formula.
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 constanttrue_instance ()
 Get the sole instance of spot::ltl::constant::constant(True).
static constantfalse_instance ()
 Get the sole instance of spot::ltl::constant::constant(False).

Protected Member Functions

 constant (type val)
virtual ~constant ()
virtual void ref_ ()
 increment reference counter if any
virtual bool unref_ ()
 decrement reference counter if any, return true when the instance must be deleted (usually when the counter hits 0).

Protected Attributes

size_t count_
 The hash key of this formula.

Private Attributes

type val_

Detailed Description

A constant (True or False).


Member Enumeration Documentation

Enumerator:
False 
True 

Constructor & Destructor Documentation

spot::ltl::constant::constant ( type  val  )  [protected]
virtual spot::ltl::constant::~constant (  )  [protected, virtual]

Member Function Documentation

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

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

Implements spot::ltl::formula.

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

Entry point for vspot::ltl::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::constant::dump (  )  const [virtual]

Return a canonic representation of the formula.

Implements spot::ltl::formula.

static constant* spot::ltl::constant::false_instance (  )  [static]

Get the sole instance of spot::ltl::constant::constant(False).

size_t spot::ltl::formula::hash (  )  const [inline, inherited]

Return a hash key for the formula.

References spot::ltl::formula::count_.

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

increment reference counter if any

Reimplemented in spot::ltl::ref_formula.

static constant* spot::ltl::constant::true_instance (  )  [static]

Get the sole instance of spot::ltl::constant::constant(True).

virtual bool spot::ltl::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 in spot::ltl::ref_formula.

type spot::ltl::constant::val (  )  const

Return the value of the constant.

const char* spot::ltl::constant::val_name (  )  const

Return the value of the constant as a string.


Member Data Documentation

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

The hash key of this formula.

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


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 Fri Apr 16 09:44:01 2010 for spot by doxygen 1.6.3