spot::proviso Class Reference

#include <tgba/proviso.hh>

Inheritance diagram for spot::proviso:

[legend]List of all members.

Public Member Functions
virtual bool	empty () const =0
virtual void	intersect (const proviso *)=0
virtual tgba_succ_iterator *	oneset ()=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:

• tgba/proviso.hh

---

Please comment this page and report errors about it on the RefDocComments page.