spot  1.0
Classes | Namespaces | Functions
multop.hh File Reference

LTL multi-operand operators. More...

#include <vector>
#include <map>
#include <iosfwd>
#include "refformula.hh"
Include dependency graph for multop.hh:
This graph shows which files directly or indirectly include this file:

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.

Detailed Description

LTL multi-operand operators.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:32 for spot by doxygen 1.8.1.2