spot  0.8.3
Public Types | Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Private Attributes
spot::ltl::constant Class Reference

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 ( visitor v) [virtual]

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

Implements spot::ltl::formula.

virtual void spot::ltl::constant::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::constant::dump ( ) const [virtual]

Return a canonic representation of the formula.

Implements spot::ltl::formula.

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

size_t spot::ltl::formula::hash ( ) const [inline, inherited]
virtual void spot::ltl::formula::ref_ ( ) [protected, virtual, inherited]

increment reference counter if any

Reimplemented in spot::ltl::ref_formula.

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.

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 Mar 9 2012 13:52:12 for spot by doxygen 1.7.6.1