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

Ltl::Store Class Reference

List of all members.


Detailed Description

Set of instantiated LTL formulae.

Definition at line 54 of file Ltl.h.


Public Member Functions

class Ltlfetch (unsigned f) const
class Ltlinsert (class Ltl &ltl)
 Insert a formula to the set.
 Store ()
 Constructor.
 ~Store ()
 Destructor.

Private Member Functions

class Storeoperator= (const class Store &)
 Assignment operator.
 Store (const class Store &)
 Copy constructor.

Private Attributes

std::set< class Ltl *, struct
ltless
m_set
 Set of LTL formulae.
class Ltl ** m_table
 Table of LTL formulae, indexed by Ltl::m_num.

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

Generated by  Doxygen 1.6.0   Back to index