spot  1.2.6
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Classes | Functions
multop.hh File Reference

LTL multi-operand operators. More...

#include "refformula.hh"
#include <vector>
#include <map>
#include <iosfwd>
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...
 

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...
 

Detailed Description

LTL multi-operand operators.


Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:44 for spot by doxygen 1.8.4