|
spot
1.2.6
|
LTL constants. More...
#include "formula.hh"

Go to the source code of this file.
Classes | |
| class | spot::ltl::constant |
| A constant (True or False) More... | |
Functions | |
| const constant * | spot::ltl::is_constant (const formula *f) |
| Cast f into a constant. More... | |
LTL constants.
1.8.4