spot
1.2.6
|
LTL unary operators. More...
Go to the source code of this file.
Classes | |
class | spot::ltl::unop |
Unary operators. More... | |
Functions | |
const unop * | spot::ltl::is_unop (const formula *f) |
Cast f into a unop. More... | |
const unop * | spot::ltl::is_unop (const formula *f, unop::type op) |
Cast f into a unop if it has type op. More... | |
const unop * | spot::ltl::is_Not (const formula *f) |
Cast f into a unop if it is a Not. More... | |
const unop * | spot::ltl::is_X (const formula *f) |
Cast f into a unop if it is a X. More... | |
const unop * | spot::ltl::is_F (const formula *f) |
Cast f into a unop if it is a F. More... | |
const unop * | spot::ltl::is_G (const formula *f) |
Cast f into a unop if it is a G. More... | |
const unop * | spot::ltl::is_GF (const formula *f) |
Cast f into a unop if has the form GF(...). More... | |
const unop * | spot::ltl::is_FG (const formula *f) |
Cast f into a unop if has the form FG(...). More... | |
LTL unary operators.