#include <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 | |
Static Public Member Functions | |
constant * | true_instance () |
Get the sole instance of spot::ltl::constant::constant(True). | |
constant * | false_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_ |
|
|
|
|
|
|
|
Entry point for vspot::ltl::const_visitor instances.
Implements spot::ltl::formula. |
|
Entry point for vspot::ltl::visitor instances.
Implements spot::ltl::formula. |
|
Get the sole instance of spot::ltl::constant::constant(False).
|
|
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. |
|
increment reference counter if any
Reimplemented in spot::ltl::ref_formula. |
|
Get the sole instance of spot::ltl::constant::constant(True).
|
|
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. |
|
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.
|
|
Return the value of the constant as a string.
|
|
|