spot
1.0
|
LTL binary operators. More...
Go to the source code of this file.
Classes | |
class | spot::ltl::binop |
Binary operator. More... |
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
const binop * | spot::ltl::is_binop (const formula *f) |
Cast f into a binop. | |
const binop * | spot::ltl::is_binop (const formula *f, binop::type op) |
Cast f into a binop if it has type op. | |
const binop * | spot::ltl::is_binop (const formula *f, binop::type op1, binop::type op2) |
Cast f into a binop if it has type op1 or op2. | |
const binop * | spot::ltl::is_U (const formula *f) |
Cast f into a binop if it is a U. | |
const binop * | spot::ltl::is_M (const formula *f) |
Cast f into a binop if it is a M. | |
const binop * | spot::ltl::is_R (const formula *f) |
Cast f into a binop if it is a R. | |
const binop * | spot::ltl::is_W (const formula *f) |
Cast f into a binop if it is a W. |
LTL binary operators.
This does not include AND
and OR
operators. These are considered to be multi-operand operators (see spot::ltl::multop).