#include <ltlast/constant.hh>
Inheritance diagram for spot::ltl::constant:
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. | |
formula * | ref () |
clone this node | |
const std::string & | dump () const |
Return a canonic representation of the formula. | |
const size_t | hash () const |
Return a hash_key for the formula. | |
Static Public Member Functions | |
static constant * | true_instance () |
Get the sole instance of spot::ltl::constant::constant(True). | |
static constant * | false_instance () |
Get the sole instance of spot::ltl::constant::constant(False). | |
static 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). | |
void | set_key_ () |
Compute key_ from dump_. | |
Protected Attributes | |
std::string | dump_ |
The canonic representation of the formula. | |
size_t | hash_key_ |
The hash key of this formula. | |
Private Attributes | |
type | val_ |
spot::ltl::constant::constant | ( | type | val | ) | [protected] |
virtual spot::ltl::constant::~constant | ( | ) | [protected, virtual] |
virtual void spot::ltl::constant::accept | ( | visitor & | v | ) | [virtual] |
virtual void spot::ltl::constant::accept | ( | const_visitor & | v | ) | const [virtual] |
const char* spot::ltl::constant::val_name | ( | ) | const |
Return the value of the constant as a string.
static constant* spot::ltl::constant::true_instance | ( | ) | [static] |
Get the sole instance of spot::ltl::constant::constant(True).
static 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.
static 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.
const std::string& spot::ltl::formula::dump | ( | ) | const [inherited] |
Return a canonic representation of the formula.
const size_t spot::ltl::formula::hash | ( | ) | const [inline, inherited] |
Return a hash_key for the formula.
virtual void spot::ltl::formula::ref_ | ( | ) | [protected, virtual, inherited] |
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.
void spot::ltl::formula::set_key_ | ( | ) | [protected, inherited] |
Compute key_ from dump_.
Should be called once in each object, after dump_ has been set.
type spot::ltl::constant::val_ [private] |
std::string spot::ltl::formula::dump_ [protected, inherited] |
The canonic representation of the formula.
size_t spot::ltl::formula::hash_key_ [protected, inherited] |
The hash key of this formula.
Initialized by set_key_().