spot
1.0.1
|
#include <ltlast/formula.hh>
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | 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. |