spot
1.1.3
|
#include <ltlast/formula.hh>
Go to the source code of this file.
Namespaces | |
spot | |
spot::ltl | |
Enumerations | |
enum | spot::ltl::relabeling_style { spot::ltl::Abc, spot::ltl::Pnn } |
Functions | |
const formula * | spot::ltl::relabel (const formula *f, relabeling_style style) |
Relabel the atomic proposition in a formula. More... | |