spot::dummy_proviso Class Reference

#include <tgba/proviso.hh>

Inheritance diagram for spot::dummy_proviso:

[legend]Collaboration diagram for spot::dummy_proviso:

[legend]List of all members.

Public Member Functions
virtual bool	empty () const
virtual void	intersect (const proviso *)
virtual tgba_succ_iterator *	oneset ()
virtual	~dummy_proviso ()
Static Public Member Functions
static dummy_proviso *	instance ()
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:

• tgba/proviso.hh

---

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