Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages

spot::dummy_proviso Class Reference

#include <tgba/proviso.hh>

Inheritance diagram for spot::dummy_proviso:

Inheritance graph
[legend]
Collaboration diagram for spot::dummy_proviso:

Collaboration graph
[legend]
List of all members.

Public Member Functions

virtual bool empty () const
virtual void intersect (const proviso *)
virtual tgba_succ_iteratoroneset ()
virtual ~dummy_proviso ()

Static Public Member Functions

static dummy_provisoinstance ()

Private Member Functions

 dummy_proviso ()

Constructor & Destructor Documentation

virtual spot::dummy_proviso::~dummy_proviso  )  [virtual]
 

spot::dummy_proviso::dummy_proviso  )  [private]
 


Member Function Documentation

virtual bool spot::dummy_proviso::empty  )  const [virtual]
 

Implements spot::proviso.

static dummy_proviso* spot::dummy_proviso::instance  )  [static]
 

virtual void spot::dummy_proviso::intersect const proviso  )  [virtual]
 

Implements spot::proviso.

virtual tgba_succ_iterator* spot::dummy_proviso::oneset  )  [virtual]
 

Implements spot::proviso.


The documentation for this class was generated from the following file:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Mar 1 11:27:01 2006 for spot by doxygen 1.4.0