spot
1.2.4
|
Bounded Unary operators. More...
Go to the source code of this file.
Classes | |
class | spot::ltl::bunop |
Bounded unary operator. More... | |
Functions | |
const bunop * | spot::ltl::is_bunop (const formula *f) |
Cast f into a bunop. More... | |
const bunop * | spot::ltl::is_bunop (const formula *f, bunop::type op) |
Cast f into a bunop if it has type op. More... | |
const bunop * | spot::ltl::is_Star (const formula *f) |
Cast f into a bunop if it is a Star. More... | |
const bunop * | spot::ltl::is_KleenStar (const formula *f) |
Cast f into a bunop if it is a Star[0..]. More... | |
Bounded Unary operators.