spot
1.0.2
|
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... |
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
const constant * | spot::ltl::is_constant (const formula *f) |
Cast f into a constant. |
LTL constants.