spot  1.2.1a
Public Member Functions | List of all members
spot::instanciator Class Referenceabstract

#include <fasttgbaalgos/ec/ec.hh>

Inheritance diagram for spot::instanciator:
Inheritance graph
Collaboration diagram for spot::instanciator:
Collaboration graph

Public Member Functions

virtual const instance_automatonnew_instance ()=0
 Return a new instance of the automaton. More...
 
virtual bool have_weak ()=0
 Return wether there is a weak instance. More...
 
virtual bool have_strong ()=0
 Return wether there is a weak instance. More...
 
virtual bool have_terminal ()=0
 Return wether there is a terminal instance. More...
 

Detailed Description

A wrapper around the automaton to check is needed for some emptiness check that needs to work on multiple distinc instance of the automaton

In this case, the emptiness check just have to know a specific instanciator to perform the emptiness check

Member Function Documentation

virtual bool spot::instanciator::have_strong ( )
pure virtual

Return wether there is a weak instance.

Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.

virtual bool spot::instanciator::have_terminal ( )
pure virtual

Return wether there is a terminal instance.

Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.

virtual bool spot::instanciator::have_weak ( )
pure virtual

Return wether there is a weak instance.

Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.

virtual const instance_automaton* spot::instanciator::new_instance ( )
pure virtual

Return a new instance of the automaton.

Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Jun 5 2015 11:31:19 for spot by doxygen 1.8.9.1