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