Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

spot::ltl::constant Class Reference

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

#include <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.

formularef ()
 clone this node


Static Public Member Functions

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

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

void unref (formula *f)
 release this node


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).


Private Attributes

type val_

Detailed Description

A constant (True or False).


Member Enumeration Documentation

enum spot::ltl::constant::type
 

Enumeration values:
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.

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

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

formula* spot::ltl::formula::ref  )  [inherited]
 

clone this node

This increments the reference counter of this node (if one is used). You should almost never use this method directly as it doesn't touch the children. If you want to clone a whole formula, use spot::ltl::clone() instead.

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

increment reference counter if any

Reimplemented in spot::ltl::ref_formula.

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

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

void spot::ltl::formula::unref formula f  )  [static, inherited]
 

release this node

This decrements the reference counter of this node (if one is used) and can free the object. You should almost never use this method directly as it doesn't touch the children. If you want to release a whole formula, use spot::ltl::destroy() instead.

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

type spot::ltl::constant::val_ [private]
 


The documentation for this class was generated from the following file:
Generated on Tue Jun 29 17:02:18 2004 for spot by doxygen 1.3.7