|
spot
1.2.6
|
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.
1.8.4