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

spot::proviso Class Reference

#include <tgba/proviso.hh>

Inheritance diagram for spot::proviso:

Inheritance graph
[legend]
List of all members.

Public Member Functions

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

Constructor & Destructor Documentation

virtual spot::proviso::~proviso  )  [virtual]
 


Member Function Documentation

virtual bool spot::proviso::empty  )  const [pure virtual]
 

Implemented in spot::dummy_proviso.

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

Implemented in spot::dummy_proviso.

virtual tgba_succ_iterator* spot::proviso::oneset  )  [pure virtual]
 

Implemented in spot::dummy_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:26:58 2006 for spot by doxygen 1.4.0