spot
1.0
|
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... |
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
const multop * | spot::ltl::is_multop (const formula *f) |
Cast f into a multop. | |
const multop * | spot::ltl::is_multop (const formula *f, multop::type op) |
Cast f into a multop if it has type op. | |
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. | |
const multop * | spot::ltl::is_And (const formula *f) |
Cast f into a multop if it is an And. | |
const multop * | spot::ltl::is_AndRat (const formula *f) |
Cast f into a multop if it is an AndRat. | |
const multop * | spot::ltl::is_AndNLM (const formula *f) |
Cast f into a multop if it is an AndNLM. | |
const multop * | spot::ltl::is_Or (const formula *f) |
Cast f into a multop if it is an Or. | |
const multop * | spot::ltl::is_OrRat (const formula *f) |
Cast f into a multop if it is an OrRat. | |
const multop * | spot::ltl::is_Concat (const formula *f) |
Cast f into a multop if it is a Concat. | |
const multop * | spot::ltl::is_Fusion (const formula *f) |
Cast f into a multop if it is a Fusion. |
LTL multi-operand operators.