spot
1.2.6
|
LTL multi-operand operators. More...
Go to the source code of this file.
Classes | |
class | spot::ltl::multop |
Multi-operand operators. More... | |
struct | spot::ltl::multop::paircmp |
Comparison functor used internally by ltl::multop. More... | |
Functions | |
const multop * | spot::ltl::is_multop (const formula *f) |
Cast f into a multop. More... | |
const multop * | spot::ltl::is_multop (const formula *f, multop::type op) |
Cast f into a multop if it has type op. More... | |
const multop * | spot::ltl::is_multop (const formula *f, multop::type op1, multop::type op2) |
Cast f into a multop if it has type op1 or op2. More... | |
const multop * | spot::ltl::is_And (const formula *f) |
Cast f into a multop if it is an And. More... | |
const multop * | spot::ltl::is_AndRat (const formula *f) |
Cast f into a multop if it is an AndRat. More... | |
const multop * | spot::ltl::is_AndNLM (const formula *f) |
Cast f into a multop if it is an AndNLM. More... | |
const multop * | spot::ltl::is_Or (const formula *f) |
Cast f into a multop if it is an Or. More... | |
const multop * | spot::ltl::is_OrRat (const formula *f) |
Cast f into a multop if it is an OrRat. More... | |
const multop * | spot::ltl::is_Concat (const formula *f) |
Cast f into a multop if it is a Concat. More... | |
const multop * | spot::ltl::is_Fusion (const formula *f) |
Cast f into a multop if it is a Fusion. More... | |
LTL multi-operand operators.