#include <tgba/proviso.hh>
Inheritance diagram for spot::proviso:
Public Member Functions | |
virtual bool | empty () const =0 |
virtual void | intersect (const proviso *)=0 |
virtual tgba_succ_iterator * | oneset ()=0 |
virtual | ~proviso () |
|
|
|
Implemented in spot::dummy_proviso. |
|
Implemented in spot::dummy_proviso. |
|
Implemented in spot::dummy_proviso. |