23 #ifndef SPOT_LTLAST_CONSTANT_HH
24 # define SPOT_LTLAST_CONSTANT_HH
38 enum type { False, True, EmptyWord };
39 virtual void accept(
visitor& v)
const;
44 const char* val_name()
const;
46 virtual std::string
dump()
const;
64 static constant empty_word_instance_;
78 if (f->
kind() != formula::Constant)
80 return static_cast<const constant*
>(f);
85 #endif // SPOT_LTLAST_CONSTANT_HH
A constant (True or False)
Definition: constant.hh:35
Formula visitor.
Definition: visitor.hh:41
static constant * empty_word_instance()
Get the sole instance of spot::ltl::constant::constant(EmptyWord).
Definition: constant.hh:53
SPOT_API std::ostream & dump(std::ostream &os, const formula *f)
Dump a formula tree.
static constant * true_instance()
Get the sole instance of spot::ltl::constant::constant(True).
Definition: constant.hh:49
static constant * false_instance()
Get the sole instance of spot::ltl::constant::constant(False).
Definition: constant.hh:51