spot
0.8.3
|
Reference-counted LTL formulae. More...
#include "formula.hh"
Go to the source code of this file.
Classes | |
class | spot::ltl::ref_formula |
A reference-counted LTL formula. More... | |
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Reference-counted LTL formulae.