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