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

LTL unary operators. More...

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

Go to the source code of this file.

Classes

class  spot::ltl::unop
 Unary operators. More...

Namespaces

namespace  spot
namespace  spot::ltl

Functions

const unop * spot::ltl::is_unop (const formula *f)
 Cast f into a unop.
const unop * spot::ltl::is_unop (const formula *f, unop::type op)
 Cast f into a unop if it has type op.
const unop * spot::ltl::is_Not (const formula *f)
 Cast f into a unop if it is a Not.
const unop * spot::ltl::is_X (const formula *f)
 Cast f into a unop if it is a X.
const unop * spot::ltl::is_F (const formula *f)
 Cast f into a unop if it is a F.
const unop * spot::ltl::is_G (const formula *f)
 Cast f into a unop if it is a G.
const unop * spot::ltl::is_GF (const formula *f)
 Cast f into a unop if has the form GF(...).
const unop * spot::ltl::is_FG (const formula *f)
 Cast f into a unop if has the form FG(...).

Detailed Description

LTL unary 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