#include <tgba/proviso.hh>
Inheritance diagram for spot::dummy_proviso:
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 () |
|
|
|
|
|
Implements spot::proviso. |
|
|
|
Implements spot::proviso. |
|
Implements spot::proviso. |