Logo Search packages:      
Sourcecode: lbt version File versions  Download package

Ltl Class Reference

#include <Ltl.h>

Inheritance diagram for Ltl:

LtlAtom LtlConstant LtlFuture LtlIff LtlJunct LtlUntil

List of all members.

Detailed Description

Abstract base class for LTL formulae

Definition at line 38 of file Ltl.h.

Public Types

enum  Kind {
  Atom, Constant, Junct, Iff,
  Future, Until
 Formula kinds.

Public Member Functions

virtual void expand (class LtlGraphNode &node, std::stack< class LtlGraphNode * > &to_expand) const =0
virtual enum Kind getKind () const =0
 Determine the kind of the formula.
 Ltl ()
virtual class LtlnegClone () const =0
 Returns a clone of the negation of this Ltl formula.
bool operator< (const class Ltl &other) const
 Less-than comparison.

Static Public Member Functions

static class Ltlfetch (unsigned f)

Public Attributes

unsigned m_num
 Number of the LTL formula.

Protected Member Functions

virtual ~Ltl ()

Static Protected Member Functions

static class Ltlinsert (class Ltl &ltl)

Private Member Functions

 Ltl (const class Ltl &old)
 Copy constructor.
class Ltloperator= (const class Ltl &old)
 Assignment operator.

Static Private Attributes

static class Store m_store


class Store


struct  ltless
 LTL formula comparator. More...
class  Store
 Set of instantiated LTL formulae. More...

The documentation for this class was generated from the following files:

Generated by  Doxygen 1.6.0   Back to index